function swapout(what){
	document.getElementById('extranav').style.display = "block";
	setTimeout("swapclose()", 10000);
}
function swapclose(){
	clearTimeout();
	document.getElementById('extranav').style.display = "none";
}