HASH(0x7f7ab41b4f30)