function u_fix_flash() //Used to remove extra click added by internet explorer
{
	objects = document.getElementsByName("u_object");
	var count = 0;

	for (var i = 0; i < objects.length; i++)
	{
		objects[i].outerHTML = objects[i].outerHTML;
		count++;
	}
}

//Changes content of a div named u_external_content to whatever the parameter may be
function change_content(new_html) //Used for the history timeline
{
	var this_div = document.getElementById('u_interface_content').innerHTML = new_html;
}

// Splash {
// setCookie, getCookie, checkCookie, from http://www.w3schools.com/js/js_cookies.asp
// setCookie, getCookie, checkCookie used in splash introduction
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 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 "";
}
// Splash }

// Button Hover {
function over_button(current_button)
{
	
	var src = current_button.src;
	src = src.replace("button", "bright");	
	current_button.src = src;

}
function out_button(current_button)
{
	var src = current_button.src;
	src = src.replace("bright", "button");	
	current_button.src = src;
}
// Button Hover }