// JavaScript Document
		
			/***********************************************
			* AnyLink Drop Down Menu- © Dynamic Drive (www.dynamicdrive.com)
			* This notice MUST stay intact for legal use
			* Visit http://www.dynamicdrive.com/ for full source code
			***********************************************/
			
			//Contents for menu 1
			var menu1=new Array()
			
			menu1[0]='&nbsp;<a href="aboutus.htm" class="dropdownlinks">History</a><br>'
			menu1[1]='&nbsp;<a href="infrastructure.htm" class="dropdownlinks">Infrastructure</a><br>'			
			menu1[2]='&nbsp;<a href="quality.htm" class="dropdownlinks">Quality&nbsp;Certifications</a><br>'
			menu1[3]='&nbsp;<a href="sleepspecialists.htm" class="dropdownlinks">Sleep Specialists</a><br>'
			menu1[4]='&nbsp;<a href="stx.htm" class="dropdownlinks">Technology</a><br>'
			
			
			
			var menu2=new Array()
			menu2[0]='&nbsp;<a href="products.htm" class="dropdownlinks">Mattresses</a><br>'
			menu2[1]='&nbsp;<a href="pillows.htm" class="dropdownlinks">Pillows</a><br>'			
			menu2[2]='&nbsp;<a href="cushionsblosters.htm" class="dropdownlinks">Cushions &amp; Bolsters</a><br>'
			menu2[3]='&nbsp;<a href="Pricelist.htm" target="_blank" class="dropdownlinks">Price List</a><br>'
			menu2[4]='&nbsp;<a href="industrial-products.html" class="dropdownlinks">Industrial&nbsp;Products</a><br>'
								
						
			var menuwidth='220px' //default menu width
			var menubgcolor='#ffffff' //menu bgcolor
			var disappeardelay=250  //menu disappear speed onMouseout (in miliseconds)
			var hidemenu_onclick="yes" //hide menu when user clicks within menu?
			
			/////No further editting needed
			
			var ie4=document.all
			var ns6=document.getElementById&&!document.all
			
			if (ie4||ns6)
			document.write('<div id="dropmenudiv" style="visibility:hidden;width:'+menuwidth+';background-color:'+menubgcolor+'" onMouseover="clearhidemenu()" onMouseout="dynamichide(event)"></div>')
			
			function getposOffset(what, offsettype){
			var totaloffset=(offsettype=="left")? what.offsetLeft : what.offsetTop;
			var parentEl=what.offsetParent;
			while (parentEl!=null){
			totaloffset=(offsettype=="left")? totaloffset+parentEl.offsetLeft : totaloffset+parentEl.offsetTop;
			parentEl=parentEl.offsetParent;
			}
			return totaloffset;
			}
			
			
			function showhide(obj, e, visible, hidden, menuwidth){
			if (ie4||ns6)
			dropmenuobj.style.left=dropmenuobj.style.top=-500
			if (menuwidth!=""){
			dropmenuobj.widthobj=dropmenuobj.style
			dropmenuobj.widthobj.width=menuwidth
			}
			if (e.type=="click" && obj.visibility==hidden || e.type=="mouseover")
			obj.visibility=visible
			else if (e.type=="click")
			obj.visibility=hidden
			}
			
			function iecompattest(){
			return (document.compatMode && document.compatMode!="BackCompat")? document.documentElement : document.body
			}
			
			function clearbrowseredge(obj, whichedge){
			var edgeoffset=0
			if (whichedge=="rightedge"){
			var windowedge=ie4 && !window.opera? iecompattest().scrollLeft+iecompattest().clientWidth-15 : window.pageXOffset+window.innerWidth-15
			dropmenuobj.contentmeasure=dropmenuobj.offsetWidth
			if (windowedge-dropmenuobj.x < dropmenuobj.contentmeasure)
			edgeoffset=dropmenuobj.contentmeasure-obj.offsetWidth
			}
			else{
			var windowedge=ie4 && !window.opera? iecompattest().scrollTop+iecompattest().clientHeight-15 : window.pageYOffset+window.innerHeight-18
			dropmenuobj.contentmeasure=dropmenuobj.offsetHeight
			if (windowedge-dropmenuobj.y < dropmenuobj.contentmeasure)
			edgeoffset=dropmenuobj.contentmeasure+obj.offsetHeight
			}
			return edgeoffset
			}
			
			function populatemenu(what){
			if (ie4||ns6)
			dropmenuobj.innerHTML=what.join("")
			}
			
			
			function dropdownmenu(obj, e, menucontents, menuwidth){
			if (window.event) event.cancelBubble=true
			else if (e.stopPropagation) e.stopPropagation()
			clearhidemenu()
			dropmenuobj=document.getElementById? document.getElementById("dropmenudiv") : dropmenudiv
			populatemenu(menucontents)
			
			if (ie4||ns6){
			showhide(dropmenuobj.style, e, "visible", "hidden", menuwidth)
			dropmenuobj.x=getposOffset(obj, "left")
			dropmenuobj.y=getposOffset(obj, "top")
			dropmenuobj.style.left=dropmenuobj.x-clearbrowseredge(obj, "rightedge")+"px"
			dropmenuobj.style.top=dropmenuobj.y-clearbrowseredge(obj, "bottomedge")+obj.offsetHeight+"px"
			}
			
			return clickreturnvalue()
			}
			
			function clickreturnvalue(){
			if (ie4||ns6) return false
			else return true
			}
			
			function contains_ns6(a, b) {
			while (b.parentNode)
			if ((b = b.parentNode) == a)
			return true;
			return false;
			}
			
			function dynamichide(e){
			if (ie4&&!dropmenuobj.contains(e.toElement))
			delayhidemenu()
			else if (ns6&&e.currentTarget!= e.relatedTarget&& !contains_ns6(e.currentTarget, e.relatedTarget))
			delayhidemenu()
			}
			
			function hidemenu(e){
			if (typeof dropmenuobj!="undefined"){
			if (ie4||ns6)
			dropmenuobj.style.visibility="hidden"
			}
			}
			
			function delayhidemenu(){
			if (ie4||ns6)
			delayhide=setTimeout("hidemenu()",disappeardelay)
			}
			
			function clearhidemenu(){
			if (typeof delayhide!="undefined")
			clearTimeout(delayhide)
			}
			
			if (hidemenu_onclick=="yes")
			document.onclick=hidemenu
			
			
			
			
			
		//Drop Down Menu for Products