HASH(0x7f5cecaf7d68)