HASH(0x7f7abc585f30)