document.getElementById("c1").className="d" + String(0 | 1 | 144 | 3072 | 57344 | 524288 | 12582912 | 0 | 0);