HASH(0x7f5d05fbe0d0)