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
		}//end while
}// end else
}//end function