0x3fff835e