HASH(0x7f5d0333af58)