HASH(0x7fedc65bf3f8)