//<![CDATA[
// use this file for common/generic javascript functions

function addLoadEvent(func)
{
	var oldonload = window.onload;
	if(typeof window.onload != 'function')
	{
		window.onload = func;
	}else
	{
		window.onload = function()
		{
			oldonload();
			func();
		}
	}
}

function allowManualChoice() 
{
	document.getElementById('manualChoiceBtn').className = "button";
	document.getElementById('noJSCover').style.display = "none";
}


//]]>