HASH(0x7f5d01ff9d78)