HASH(0x7fedd267d2d8)