HASH(0x7f5ced040e68)