function loadnav(){
	var cookie_string;

	for(var i = 0;i<loadthese.length;i++){
		cookie_string = getCookie('sidenav' + loadthese[i]);
		if(cookie_string != null){
			var the_div = document.getElementById('subdiv' + loadthese[i]);
			if(!the_div){
				continue;
			}
			donav(loadthese[i], cookie_string, the_div);
		}
	}
}

function opennav(id){
	
	var the_div = document.getElementById('subdiv' + id);

	if(the_div){
		var show_state = the_div.style.display == 'block'?'none':'block';
		donav(id, show_state, the_div);
	}
//	if(url){
//		window.location.href = 'index.php';
//	}
//alert(window.location.href);
}

function donav(id, show_state, the_div){

	var the_img = document.getElementById('imagenav' + id);

	if(!the_img){
		return;
	}

	the_div.style.display = show_state;
	the_img.src = show_state == 'block'?'images/arrow_down.gif':'images/arrow_right.gif';

	setCookie('sidenav'+id, show_state, 365);

	return;
}
function setCookie(NameOfCookie, value, expiredays) {

// Three variables are used to set the new cookie. 
// The name of the cookie, the value to be stored,
// and finaly the number of days till the cookie expires.
// The first lines in the function converts 
// the number of days to a valid date.

	var ExpireDate = new Date ();
	ExpireDate.setTime(ExpireDate.getTime() + (expiredays * 24 * 3600 * 1000));

// The next line stores the cookie, simply by assigning 
// the values to the "document.cookie"-object.
// Note the date is converted to Greenwich Meantime using
// the "toGMTstring()"-function.

	document.cookie = NameOfCookie + "=" + escape(value) + 
	((expiredays == null) ? "" : "; expires=" + ExpireDate.toGMTString());
}

function delCookie (NameOfCookie){

// The function simply checks if the cookie is set.
// If so the expiredate is set to Jan. 1st 1970.

	if (getCookie(NameOfCookie)) {
		document.cookie = NameOfCookie + "=" +
		 "; expires=Thu, 01-Jan-70 00:00:01 GMT";
	}
}

function getCookie(NameOfCookie){
	// First we check if there is a cookie stored at all.
	// Otherwise the length of document.cookie would be zero.
	if (document.cookie.length > 0){ 
	// Second we check if the cookies name is stored in the
	// "document.cookie"-object for the page.

	// Since more than just one cookie can be set on a
	// single page it is possible that our cookie
	// is not present, even though the "document.cookie"-object
	// is not just an empty text.
	// If our cookiename is not present the value -1 is stored
	// in the variable called "begin".

		begin = document.cookie.indexOf(NameOfCookie+"="); 
		if (begin != -1){   // Note: != means "is not equal to"
			// Our cookie was set. 
			// The value stored in the cookie is returned from the function.
			begin += NameOfCookie.length+1; 
			end = document.cookie.indexOf(";", begin);
			if (end == -1) end = document.cookie.length;
				return unescape(document.cookie.substring(begin, end));
		}
	}
	return null;

	// Our cookie was not set. 
	// The value "null" is returned from the function.
}