HASH(0x7f5cc43c3e00)