
	// Global JavaScript Document
	document.write('<scr' + 'ipt src="/library/js/sniffer.js" type="text/javascript"><\/scr' + 'ipt>');
	document.write('<scr' + 'ipt src="/library/js/text-customize.js" type="text/javascript"><\/scr' + 'ipt>');
	document.write('<scr' + 'ipt src="/library/js/png-correction.js" type="text/javascript"><\/scr' + 'ipt>');
	document.write('<scr' + 'ipt src="/library/js/pureDOMnav.js" type="text/javascript"><\/scr' + 'ipt>');

	onload = function()
	{
		// Correcting PNG bu on IE
		if(is_ie) correctPNG();
		local_init();
		
	}
	
	function gn(type,id,p)
	{
		el = document.createElement(type);
		el.id = id;
		if(p) document.getElementById(p).appendChild(el)
		else document.body.appendChild(el)
	}
	function gb(id){return document.getElementById(id)}

