HASH(0x7f13554dae08)