<!--

	function swap( name, file )
	{
	  document[name].src = file;
	}

// -->