var chosen_div_clr =
document.getElementById("chosen_maincolumn").getElementsByTagName("DIV");
        for (var chosen_div_clra=0; chosen_div_clra<chosen_div_clr.length; chosen_div_clra++) {
        if (chosen_div_clr[chosen_div_clra].className) {
        chosen_div_clr[chosen_div_clra].className = "";
        }
        }