var DHTML = (document.getElementById || document.all || document.layers);
	
	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];
	  }
	}
	
/* - - - - - switch artwork images - - - - -  */

	function switch_art(target1, dspl1, target2, dspl2)
	{
		if (!DHTML) return;
		var x = new getObj(target1);
		x.style.display = dspl1;
		var y = new getObj(target2);
		y.style.display = dspl2;
	}