HASH(0x7f7ab421df08)