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"
}