// JavaScript Document


			function tick(){
				// Make our new margin 2px to the left of the old margin
				var newMargin = parseInt(ticker.style.marginLeft,10)-2;
				
				// If there was no old margin, or we have trouble changing it, set it to -2
				if (isNaN(newMargin)) newMargin = 0;

				// If we've scrolled all the way across, start again				
				if ( newMargin + window.tickerWidth < 0 )
					newMargin = 0;
				
				// After all that we know where we want to move, so move us
				ticker.style.marginLeft = newMargin + 'px';
				
				// And do it all over again in 30 miliseconds
				window.tickerTimer = window.setTimeout(tick, 60);
			}
			
startList = function() {

if (document.all&&document.getElementById) {
navRoot = document.getElementById("nav");
for (i=0; i<navRoot.childNodes.length; i++) {
node = navRoot.childNodes[i];
if (node.nodeName=="LI") {
node.onmouseover=function() {
this.className+=" over";
  }
  node.onmouseout=function() {
  this.className=this.className.replace(" over", "");
   }
   }
  }
 }

		
				// Get the ticker elements that we need
				if (! window.tickerFrame) window.tickerFrame = document.getElementById("tickerFrame");
				if (! window.ticker) window.ticker = document.getElementById("ticker");
				
				// Create the tickerframe if it's not already defined
				if (! window.tickerFrame) {
					window.tickerFrame = document.createElement('div');
					window.tickerFrame.style.width = '500px';
					window.tickerFrame.style.overflow = 'hidden';
					window.ticker.parentNode.insertBefore( window.tickerFrame, window.ticker );
				}
				
				// Get the natural width of the ticker
				window.tickerWidth = ticker.scrollWidth;
				
				// Move the ticker into the ticker frame
				window.tickerFrame.appendChild(window.ticker);
				
				// Stop on mouseover
				window.ticker.onmouseover = function() { clearTimeout(window.tickerTimer) };
				window.ticker.onmouseout = tick;
				
				// Start moving
				tick();

}

window.onload=startList;