//note: use these functions rather than those in lib.js because they use the flag

var what = ""

function show1(which){
what=which
		if(document.getElementById){
			document.getElementById(which).style.visibility="visible"
			}
}

function hide1(){
	if(what!=""){
		if(document.getElementById){
			document.getElementById(what).style.visibility="hidden"
		}
	}
}

function setTableWidth(){
	w = document.getattribute("width")
	alert(w)
}


//deprecated function.
function back(qs){
	if(document.referrer){
		var where = document.referrer
		if(qs != ''){
			where += "&back=true"
		}else{
			where += "?back=true"
		}
		document.location=where
	}
}