HASH(0x7f5ce0ff2f30)