HASH(0x7f5d06be94c0)