HASH(0x7f388a18b4b0)