HASH(0x7fa99c53bba0)