HASH(0x7f7a8dd31f30)