	var ie = true
	var obj;
	var ie;
	if (document.layers) 
		ie = false;
	ie = true
	if (document.layers)
		ie=false;

	function showdiv (divName) {
		if (!ie){
			obj = document.layers[divName]
			obj.pageY = DocumentY;
			obj.pageX = DocumentX;
			obj.visibility="visible"
		}
		else
		{
			obj = document.all[divName]
			obj.style.visibility="visible"
		}
	}
	function hidediv(divName) {
		if (!ie){
			document.layers[divName].visibility = "hide"
		}
		else
		{
			obj = document.all[divName]
			obj.style.visibility="hidden"
		}
	}
function borderize(what,new_style){
what.className=new_style
}
function borderize_on(e){
if (document.all)
source3=event.srcElement
else if (document.getElementById)
source3=e.target
if (source3.className=="menulines"){
borderize(source3,'menuhot')
}
else{
while(source3.tagName!="TABLE"){
source3=document.getElementById? source3.parentNode : source3.parentElement
if (source3.className=="menulines")
borderize(source3,'menuhot');
}
}
}

function borderize_off(e){
if (document.all)
source4=event.srcElement
else if (document.getElementById)
source4=e.target
if (source4.className=="menuhot")
borderize(source4,'menulines')
else{
while(source4.tagName!="TABLE"){
source4=document.getElementById? source4.parentNode : source4.parentElement
if (source4.className=="menuhot")
borderize(source4,'menulines')
}
}
}
function borderize_on1(e){
if (document.all)
source3=event.srcElement
else if (document.getElementById)
source3=e.target
if (source3.className=="menulines1"){
borderize(source3,'menuhot1')
}
else{
while(source3.tagName!="TABLE"){
source3=document.getElementById? source3.parentNode : source3.parentElement
if (source3.className=="menulines1")
borderize(source3,'menuhot1');
}
}
}

function borderize_off1(e){
if (document.all)
source4=event.srcElement
else if (document.getElementById)
source4=e.target
if (source4.className=="menuhot1")
borderize(source4,'menulines1')
else{
while(source4.tagName!="TABLE"){
source4=document.getElementById? source4.parentNode : source4.parentElement
if (source4.className=="menuhot1")
borderize(source4,'menulines1')
}
}
}
