HASH(0x7f38811f53b0)