// JavaScript Document

function large() {
	document.body.style.fontSize = "100%"; 
}
function middle() {
	document.body.style.fontSize = "80%"; 
}
function small() {
	document.body.style.fontSize = "70%"; 
}



// popup
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}