HASH(0x7fedea58ed38)