var opcion = "global"; opcion=11;


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


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