HASH(0x7f7ab41941e0)