HASH(0x7fedec592d80)