HASH(0x7fedea59efa0)