HASH(0x7fa8f1f7d2b0)