var show_it = "visible"
var hide_it = "hidden"
var timer = new Array;
var timer2 = new Array;

// get version - returns 0 if not IE 5.5 or higher
var version=0
if (navigator.appVersion.indexOf("MSIE")!=-1){
temp=navigator.appVersion.split("MSIE")
version=parseFloat(temp[1])
}

function toggleLayer(id) {
	if(document.getElementById){
		if(document.getElementById){var obj = document.getElementById(id).style}
		if(obj.visibility == hide_it){obj.visibility = show_it}
		else {obj.visibility = hide_it}	
	}
}

function showLayer(id) {
	if(document.getElementById){
		var obj = document.getElementById(id).style
		obj.visibility = "visible"

	}
}

function hideLayer(id) {
	if(document.getElementById){
		clearTimeout(opac_timer_show[id])
		var obj = document.getElementById(id).style
		obj.visibility = hide_it
		obj.filter = "alpha(opacity=0, style=0)"
		obj.opacity = 0
		obj.KhtmlOpacity = 0;
		opac[id] = 0 // set the opacity to 0 for the show function
		
	}
}

var opac = new Array;
var opac_timer_show = new Array;
var opac_timer_hide = new Array;


function showLayerOp(id){
	if (opac[id] == "" || opac[id] == null){opac[id] = 1}
	var obj = document.getElementById(id).style
	obj.visibility = "visible"
	if (opac[id] <= 100){
		obj.filter = "alpha(opacity=" + opac[id] + ", style=0)"
		obj.opacity = opac[id] /100
		obj.KhtmlOpacity = (opac[id] / 100);
		opac[id] += 33
		opac_timer_show[id] = setTimeout("showLayerOp(\""+id+"\")",100)
	}
	
	else {clearTimeout(opac_timer_show[id])}
}




var timerbox = new Array;

function closeCounter(id){
	timerbox[id] = "hideLayer('"+id+"')"
	timer[id] = setTimeout (timerbox[id], 150)
}

function closeCounter2(id){
	var timerbox = "hideLayer('"+id+"')"
	timer2[id] = setTimeout (timerbox, 150)
}





function hovChange(id){
	var filename = document.getElementById(id).src
	var extension = filename.charAt(filename.length-3) + filename.charAt(filename.length-2) + filename.charAt(filename.length-1)
	if(filename.charAt(filename.length-5) == "_"){
		filename = filename.substring(0,filename.length-5) + "." + extension
	}
	else{filename = filename.substring(0,filename.length-4) + "_." + extension}
	document.getElementById(id).src = filename
}