HASH(0x7fedc802c3c8)