HASH(0x7f5cc41da7c0)