timers=new Array(3);
obr1=new Array();
obr2=new Array();
for (i=1;i<=3;i++) {
  timers[i]=0;
  obr1[i]=new Image();
  obr1[i].src="buttons_en/"+i+"a.gif"; 
  obr2[i]=new Image();
  obr2[i].src="buttons_en/"+i+"b.gif";
}
function on(x) {
if (timers[x]) clearTimeout(timers[x]);
document["o"+x].src=obr2[x].src;
}
function uplneoff(x) {
document["o"+x].src=obr1[x].src;
}
function off(x) {
timers[x]=setTimeout("uplneoff("+x+")",0);
}