function changefontsize(size) {
	var change = document.getElementsByTagName("Body")[0];
	switch(size) {
		case "s": var percent = "58.0%"; 
					document.texts.src="images/fsize-s-on.gif";
					document.textm.src="images/fsize-m.gif";
					document.textl.src="images/fsize-l.gif";
					break;
		case "m": var percent = "62.5%";
					document.texts.src="images/fsize-s.gif";
					document.textm.src="images/fsize-m-on.gif";
					document.textl.src="images/fsize-l.gif";
					break;
		case "l": var percent = "85.0%";
					document.texts.src="images/fsize-s.gif";
					document.textm.src="images/fsize-m.gif";
					document.textl.src="images/fsize-l-on.gif";
					break;
	}
	change.style.fontSize = percent;
}