// JScript source code
// used by common_menu_highlight
var ns4class = '';
function over_effect(e,state){
	if (document.all)
		source4 = event.srcElement;
	else if (document.getElementById)
		source4 = e.target;	
	if (source4.className == "menulines_state")
		source4.style.borderStyle = state;
	else {
		while(source4.tagName != "TABLE"){
			source4 = document.getElementById ? source4.parentNode : source4.parentElement;
			if (source4.className == "menulines_state")
				source4.style.borderStyle=state;
		}
	}
}