document.getElementById("c1").className="d" + String(0 | 15 | 128 | 2816 | 4096 | 0 | 15728640 | 0 | 0);