function getCookie(c_name)
{
if (document.cookie.length>0)
  {
  c_start=document.cookie.indexOf(c_name + "=")
  if (c_start!=-1)
    { 
    c_start=c_start + c_name.length+1 
    c_end=document.cookie.indexOf(";",c_start)
    if (c_end==-1) c_end=document.cookie.length
    return unescape(document.cookie.substring(c_start,c_end))
    } 
  }
return "";
}

function setCookie(c_name,value,expiredays)
{
var exdate=new Date()
exdate.setDate(exdate.getDate()+expiredays)
document.cookie=c_name+ "=" +escape(value)+
((expiredays==null) ? "" : ";expires="+exdate.toGMTString())
}

function checkbox() {
	return document.getElementById('jsmath');
}

function toggleJSMath() {
	var jsmath=checkbox().checked;

	if (jsmath) {
		setCookie("jsmathEnabled", "true", 365);
	} else {
		setCookie("jsmathEnabled", "true", -1);
	}
	window.location.reload(false);
}

function IncludeJavaScript(jsFile)
{
  document.write('<script type="text/javascript" src="'
    + jsFile + '"></script>'); 
}

var usejsMath=getCookie('jsmathEnabled');

if (usejsMath != 'true') {
	checkbox().checked=false;
} else {
	//IncludeJavaScript('lib/jsmath/easy/load.js');
	checkbox().checked= true;
}