HASH(0x7f5d04fef6e0)