/* tab browsing functionality */	
	var currtab = 0;
	function taboff() {
		var el = document.getElementById("tab"+currtab);
		el.className = "taboff";
		var elinfo = document.getElementById("tabinfo"+currtab);
		elinfo.className = "tabinfooff";			
	}
	function tabon(val){
		var el = document.getElementById("tab"+val);
		el.className = "tabon";	
		if(val != currtab){
			taboff();
			currtab = val;
		}	
		var elinfo = document.getElementById("tabinfo"+val);
		elinfo.className = "tabinfoon";
	}