HASH(0x7d3eb1439d78)