<!--
function change_element(division, div_text) {
        //browser check could go here
        document.getElementById(division).innerHTML = div_text;
}
// -->