var area_size = 10
var area_size_normal = 10
function bigChange() {
area_size = area_size + 1
document.all("body2").style.fontSize = area_size + "pt"
document.all("body3").style.fontSize = area_size + "pt"
}
function smallChange() {
area_size = area_size - 1
document.all("body2").style.fontSize = area_size + "pt"
document.all("body3").style.fontSize = area_size + "pt"
}
function normalChange() {
document.all("body2").style.fontSize = area_size_normal + "pt"
document.all("body3").style.fontSize = area_size_normal + "pt"
}

function exMenu(tName)
{
	tMenu = document.all[tName].style;
	if (tMenu.display == 'none') tMenu.display = "block"; else tMenu.display = "none";
}