HASH(0x7f134058d4b0)