
		<!--
		
		// these are the scripts that are called in the links.
		
		var DHTML = (document.getElementById || document.all || document.layers);
		
		function invi1(flag)
		{
			if (!DHTML) return;
			var x = new getObj('comanda');
			x.style.display = (flag) ? 'none' : 'block'
		}
		
		var texttop = 400;
		
		function move(amount)
		{
			if (!DHTML) return;
			var x = new getObj('text');
			texttop += amount;
			x.style.top = texttop;
		}
		
		
		function changeCol(col)
		{
			if (!DHTML) return;
			var x = new getObj('text');
			x.style.color = col;
		}
		
		function changeStyle(style)
		{
			if (!DHTML) return;
			var x = new getObj('text');
			x.style.fontStyle = style;
		}
		
		function changeFamily(family)
		{
			if (!DHTML) return;
			var x = new getObj('text');
			x.style.fontFamily = family;
		}
		
		
		function getObj(name)
		{
		  if (document.getElementById)
		  {
			this.obj = document.getElementById(name);
			this.style = document.getElementById(name).style;
		  }
		  else if (document.all)
		  {
			this.obj = document.all[name];
			this.style = document.all[name].style;
		  }
		  else if (document.layers)
		  {
			this.obj = document.layers[name];
			this.style = document.layers[name];
		  }
		}
		// -->