HASH(0x7f5d04def7f8)