HASH(0x7fedc25cad60)