HASH(0x7f5cf42505d0)