HASH(0x7f5d067f73e0)