HASH(0x7fedbe5e61e0)