HASH(0x7fee12590a58)