HASH(0x7fa9b82d1f38)