function change_class(id, newClass) {
    element = document.getElementById(id);
    element.className = newClass;
}