HASH(0x7f5ce0e4d8d0)