HASH(0x7f5ce44c8d20)