// js to select diffrent headers
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 changeHeader(newimage)
{
	document.getElementById("header").style.background = "url(images/"+newimage+") no-repeat";
	setCookie("header", newimage, 255);
}
function show()
{
	document.getElementById("header_choices").style.visibility = "visible";
}
function hide()
{
		document.getElementById("header_choices").style.visibility = "hidden";
}
