HASH(0x7f5ce0ff09d0)