HASH(0x7f388a3b8180)