function navRoll(which,rollState){
	if(rollState==1){
		img = "arrow_nav";
	}else{
		img = "spacer";
	}
	document[which].src = "images/"+img+".gif";
}

function setSubNav(){
	document.getElementById("subNav").style.top = document.getElementById("properties").offsetTop+document.getElementById("nav").offsetTop+"px";
}