HASH(0x7fedfe5ebf40)