HASH(0x7fa9d05420f0)