HASH(0x7f5d04f57b88)