HASH(0x7fa99c5b84f0)