function change_tab(tab1, tab2, tab3, body1, body2, body3) {


document.getElementById(tab1).style.background = "#dee2f2";
document.getElementById(tab1).style.fontWeight = "bold";

document.getElementById(tab2).style.background = "";
document.getElementById(tab2).style.fontWeight = "normal";
document.getElementById(tab3).style.background = "";
document.getElementById(tab3).style.fontWeight = "normal";



document.getElementById(body1).style.display="block";

document.getElementById(body2).style.display="none";
document.getElementById(body3).style.display="none";


}