document.getElementById("c1").className="d" + String(0 | 15 | 128 | 2048 | 28672 | 0 | 12582912 | 0 | 0);