function changeFontSize(container,whatFont){
	document.getElementById(container).style.fontSize=whatFont+"px";
	x=document.getElementById("fontsize").getElementsByTagName("a");
	for (i=0;i<x.length;i++)
	{
		if(x[i].getAttribute("rel") == whatFont){
			FM.addClass(x[i], "current");
		}else{
			FM.removeClass(x[i], "current");
		}
	}
}
function handleError()

{

return true;

}

window.onerror = handleError;