function reSize(size) {
	var content = document.getElementById("content");
	content.style.fontSize = size+"px";
	return false;
}