HASH(0x7f5d04de39b8)