HASH(0x7f5ca91e57c8)