<!-- 
	function over_effect(e,state)
	{
		if (document.all)
			source4=event.srcElement
		else if (document.getElementById)
			source4=e.target
		if (source4.className=="menulines")
			source4.style.borderStyle=state
		else {
			while (source4.tagName!="TABLE") {
				source4=document.getElementById? source4.parentNode : source4.parentElement
				if (source4.className=="menulines")
				source4.style.borderStyle=state
			}
		}
	}
//-->