HASH(0x7fedea59cba0)