HASH(0x7fa8ef3998d0)