// <![CDATA[
		var readyEvents=[]    
		var exceptionEvents=[]
		function onReady(f)  { readyEvents.push(f)  }
		function exceptionEvent(f) { exceptionEvents.push(f) }
		function handleException(x) {
			for(i=0;i<exceptionEvents.length;i++) {
				exceptionEvents[i](x);
			}						 
	  }
		exceptionEvent(function (f) { if(typeof(console)!="undefined") console.debug(f); })
		
		document.getElementsByTagName("html")[0].className = 
			"js" + ((window.location.hash.indexOf("redir") > 0) ? ' redir' : '');

		// ]]>