HASH(0x7fedc6580b28)