function setWidth()
{
	document.getElementById("body").style.width=screen.availWidth-256+"px";
	document.getElementById("body").style.maxWidth=screen.availWidth-256+"px";

	var pages_url = window.location.pathname;
	var pages_filename = pages_url.substring(pages_url.lastIndexOf('/')+1);
}