HASH(0x7fa8ed4dbed8)