function menuinitialize() {
  var x = readCookie ( 'nav_val' );
  var y = readCookie ( 'url_loc' );
  var z = readCookie ( 'openid' );

  HideShowMenus(x,y,z);
  init();
}

function readCookie(name) {
	var nameEQ = name + "=";
	var ca = document.cookie.split(';');
	for(var i=0;i < ca.length;i++) {
		var c = ca[i];
		while (c.charAt(0)==' ') c = c.substring(1,c.length);
		if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
	}
	return null;
}