function map(a){b="/x/"+a+".gif";document.mapimage.src=b;}