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