HASH(0x7f5d043bd6c0)