// JavaScript Document

function changeSize()
{
	document.getElementById("main_content").style.font-size = "150%";
	alert(document.getElementById("main_content").style.font-size);
}