HASH(0x7fa8ee57c3f8)