var pressTrue = false;
function MM_changeProp() { //v9.0
	pressTrue = !pressTrue;
	var thisSearch = document.getElementById('searchTab');
	var searchBox = document.getElementById('topSearchHolder');
	if(pressTrue == true){
    	searchBox.style.visibility = "visible";
		thisSearch.style.background="#ecebd9";
		thisSearch.style.color="#465a52";
	}else{
  		searchBox.style.visibility = "hidden";
		thisSearch.style.background="";
		thisSearch.style.color="";
	}
}
function setCookie(name, value, expires){
	var cookieAdder = document.getElementById('addPage');
	cookieAdder.style.visibility = "hidden";
	// no expiration date specified? use this date and it will just be deleted soon.
     if (!expires) expires = new Date(); 
	document.cookie = name + "=" + escape(value) + "; expires=" + expires.toGMTString() + "; path=/";
}
var expdate = new Date (); // pre-set to the current time and date
expdate.setTime(expdate.getTime() + 1000 * 60 * 60 * 24 * 365); // add one year to it 
//365 days/year * 24 hours/day * 60 minutes/hour * 60 seconds/minute * 1000 milliseconds/second
// = howevermany milliseconds/year. So this adds one year, it'll expire in one year.
//setCookie("skipSplash","true",expdate);
//
function getCookie(name){
	var cookies = document.cookie;
	if (cookies.indexOf(name) != -1)
	{
		var startpos = cookies.indexOf(name)+name.length+1;
		var endpos = cookies.indexOf(";",startpos)-1;
		if (endpos == -2) endpos = cookies.length;
		return unescape(cookies.substring(startpos,endpos));
	}
	else
	{
		return false; // the cookie couldn't be found! it was never set before, or it expired.
	}
}