var opcion = "global"; opcion=7;


function refresh2(s,z){
if (s != opcion){
document.images[s].src="images/"+ z +".gif";
}
}


function refresh(v,b){
opcion=v;
refresh2(0,"boton_01");
refresh2(1,"boton_02");
refresh2(2,"boton_04");
refresh2(3,"boton_05");
refresh2(4,"boton_06");
refresh2(5,"boton_07");
refresh2(v,b);
}