function set_vis(vis, objname){for(var i=1; i<set_vis.arguments.length; i++)	{	f = new getObj(set_vis.arguments[i]);	f.style.visibility = vis;	}}	function toggle_vis(objname){	var f = new getObj(objname);	if (f.style.visibility == 'hidden')		f.style.visibility = 'visible';	else		f.style.visibility = 'hidden';		}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];  }}