HASH(0x7f5cecfe0c68)