function menu (imx,on,donde) {
  document[imx].src='/imaxes/'+imx+on+'.gif';
}