HASH(0x7fedbe644e10)