<!-- 
	
	if(!document.getElementById && document.all)
	document.getElementById = function(id) {return document.all[id];}

	function swaptab(thisid) {
		document.getElementById(thisid).className = thisid+'over';
	}
	function unswaptab(thisid) {
		document.getElementById(thisid).className = thisid+'out';
	}
	
// -->