HASH(0x7fa9d04c9d10)