HASH(0x7fa9c02f1238)