HASH(0x7f5ca07dd8d8)