HASH(0x7f13585703e0)