HASH(0x7f134df28e68)