<!--

function changeButtons(sElement1, sDisplay1, sElement2, sDisplay2, sElement3, sDisplay3, sElement4, sDisplay4) {
document.getElementById(sElement1).style.display = sDisplay1;
document.getElementById(sElement2).style.display = sDisplay2;
document.getElementById(sElement3).style.display = sDisplay3;
document.getElementById(sElement4).style.display = sDisplay4;
}

//-->