HASH(0x7fedea5b8038)