HASH(0x7f5ce1f4b3d8)