HASH(0x7f388a18b288)