	var page;
	var rand;
	var identity = new Object;
	var image = new Array();
	var currentdate = 0
	var core = 0
	
	headers = new StringArray(8)
	headers[0] = 'images/header1.jpg'
	headers[1] = 'images/header2.jpg'
	headers[2] = 'images/header3.jpg'
	headers[3] = 'images/header4.jpg'
	headers[4] = 'images/header5.jpg'
	headers[5] = 'images/header6.jpg'
	headers[6] = 'images/header7.jpg'
	headers[7] = 'images/header8.jpg'
	var ran = 60/headers.length


	Button1 = new Image();
	Button2 = new Image();
	Button3 = new Image();
	Button4 = new Image();
	Button5 = new Image();
	Button6 = new Image();
	Button7 = new Image();

	Button1.src = "images/button1_highlight.gif";
	Button2.src = "images/button2_highlight.gif";
	Button3.src = "images/button3_highlight.gif";
	Button4.src = "images/button4_highlight.gif";
	Button5.src = "images/button5_highlight.gif";
	Button6.src = "images/button6_highlight.gif";
	Button7.src = "images/button7_highlight.gif";
	
	
	banners = new StringArray(2)
	usemap = new StringArray(2)
	bannersOn = new StringArray(2)
	bannersOff = new StringArray(2)

	banners[0] = 'images/banner_full_1.jpg'
	banners[1] = 'images/banner_full_2.jpg'

	bannersOn[0] = new Image(); bannersOn[0].src='images/banner_full_1_ON.jpg';
	bannersOn[1] = new Image(); bannersOn[1].src='images/banner_full_2_ON.jpg';	

	bannersOff[0] = new Image(); bannersOff[0].src='images/banner_full_1.jpg';
	bannersOff[1] = new Image(); bannersOff[1].src='images/banner_full_2.jpg';	
	
	usemap[0] = '#full1'
	usemap[1] = '#full2' 
	var ran = 60/banners.length
	texts = new StringArray(2)
	texts[0] = 'images/text1.jpg'
	texts[1] = 'images/text2.jpg'
	var ran = 60/texts.length

	function pageset(a)
	{
		page = a;
		if (page == 'products.php')
		{
	 		identity=document.getElementById(page);
			identity.className='button1_select';
		}
		else if (page == 'advantage.php')
		{
	 		identity=document.getElementById(page);
			identity.className='button2_select';
		}
		else if (page == 'case.php')
		{
	 		identity=document.getElementById(page);
			identity.className='button3_select';
		}
		else if (page == 'demo.php')
		{
	 		identity=document.getElementById(page);
			identity.className='button4_select';
		}
		else if (page == 'locations.php')
		{
	 		identity=document.getElementById(page);
			identity.className='button5_select';
		}
		else if (page == 'process.php')
		{
	 		identity=document.getElementById(page);
			identity.className='button6_select';
		}
		else if (page == 'quote.php')
		{
	 		identity=document.getElementById(page);
			identity.className='button7_select';
		}
	}

	function change(objectID, newClass)
	{
		if (page != objectID)
		{

 			identity=document.getElementById(objectID);
			identity.className=newClass;
		}
	}

	function submitform()
	{
  		document.login.submit();
	}
	
	function fWriteEmailLink(vName,vDomain,vExtension,vText)
	{
		if(vText=='')
		{
			vText=vName+'@'+vDomain+'.'+vExtension;
		}
		document.write('<a href="mailto:'+vName+'@'+vDomain+'.'+vExtension+'">'+vText+'<\/a>');
	}

	function fWriteHiddenEmailRecipient(vName,vDomain,vExtension)
	{
		document.write('<input type="hidden" name="recipient" value="'+vName+'@'+vDomain+'.'+vExtension+'">');
	}

	function StringArray (n)
	{
  		this.length = n;
		for (var i =1; i <= n; i++)
		{
    		this[i] = ' '
		}
	}

	function ranimage()
	{
		currentdate = new Date()
		core = currentdate.getSeconds()
		core = Math.floor(core/ran)
		return(headers[core])
	}

	function ranbanner()
	{
		currentdate = new Date()
		core = currentdate.getSeconds()
		core = Math.floor(core/ran)
		bannernum=core
		return(banners[core])
	}
	function ranmap() {
        return(usemap[bannernum])
	}

	function rantext()
	{
		currentdate = new Date()
		core = currentdate.getSeconds()
		core = Math.floor(core/ran)
		return(texts[core])
	}
	function bannerOn(id) { 
		that=document.getElementById(id);
		that.src=bannersOn[bannernum].src;
	}
	function bannerOff(id) { 
		that=document.getElementById(id);
		that.src=bannersOff[bannernum].src;
	}