function font_size(change) {
var size;
var saved;

// Get Size
if (!document.body.style.fontSize) size = 13;
else size = (document.body.style.fontSize.replace("px",'') - 0);

// Change Size
if (change == "increase") size++;// Increase
else if (change == "decrease") size--;// Decrease
// Read from Cookie else if (saved = readCookie("font_size")) size = saved;

// Set Size
if (size > 6 && size < 30 ) {
document.body.style.fontSize = size+"px";
// createCookie("font_size",size,"365");
}
}