var opcion = "global"; opcion=15;


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


function refresh(v,b){
opcion=v;
refresh2(0,"boton01");
refresh2(1,"boton02");
refresh2(2,"boton03");
refresh2(3,"boton04");
refresh2(4,"boton05");
refresh2(5,"boton06");
refresh2(6,"boton07");
refresh2(7,"boton08");
refresh2(8,"boton09");
refresh2(9,"boton10");
refresh2(10,"boton11");
refresh2(11,"boton12");
refresh2(12,"boton13");
refresh2(13,"boton14");
refresh2(14,"boton15");
refresh2(v,b);
}