HASH(0x7f5d04d4e1b0)