var opcion = "global"; opcion=14;


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


function refresh(v,b){
opcion=v;
refresh2(2,"boton01");
refresh2(3,"boton02");
refresh2(4,"boton03");
refresh2(5,"boton04");
refresh2(6,"boton05");
refresh2(7,"boton06");
refresh2(8,"boton07");
refresh2(10,"boton12");
refresh2(11,"boton13");
refresh2(v,b);
}