// set clip on Flash object depending on whether navigation is down or raised
function flashUp(){
	//alert("up")
	document.getElementById("flash_nav").style.clip = "rect(auto auto 135px auto)"
}

function flashDown(){
	document.getElementById("flash_nav").style.clip  = "rect(auto auto auto auto)"
	//alert("down")
}


//************************//
// *** content id box *** //
//************************//

// set it to have a scrollbar for IE
if (document.all && document.getElementById){document.getElementById("content").style.overflow = "auto";}

// set the height
var window_height

if (document.all){window_height = document.body.offsetHeight}
if (!document.all && document.getElementById){window_height = window.innerHeight}

if (document.all && document.getElementById){
	if (window_height > 400){
		var diff = window_height - 490
		document.getElementById("content").style.height = (diff + 356)
	}
}

// set height for Firefox
if (!document.all && document.getElementById){
	if ((window_height - 130) > document.getElementById("content").clientHeight){
	//alert(document.getElementById("content").clientHeight)
	//alert(document.getElementById("content").style.height)
		document.getElementById("content").style.height = (window_height - 170)
		
	}
	
}

// fix printing issues
if (document.getElementById("contentprint")){
	var printable = document.getElementById("content").innerHTML
	document.getElementById("contentprint").innerHTML = printable
	if (document.all && document.getElementById){
		document.getElementById("contentprint").style.height = (diff + 356)

	}
}