var size = new Array();
size[0] = "100%";
size[1] = "150%";
size[2] = "200%";

function fsize(n) {
	var d = document.getElementById("contents");
	d.style.fontSize = size[n];
}