HASH(0x7fedea5d54e8)