HASH(0x7f5ca09e57a8)