HASH(0x7f134df70d78)