// JavaScript Document

function changeClass(element_id, new_class) {
    document.getElementById(element_id).className = new_class;
}