HASH(0x7f5ce3d65d60)