var timer;
var minsize = 1;
var speed = 1;
var contentTop = 0;
var rate = 10;
var zoneActivated = false;
var itimerid;
itimerid = setInterval("checkMenu();", 1000);
function showMenu(menuID) {
	var timeout = 2000;
	zoneActivated = true;
	hideAllMenus();
	document.getElementById(menuID).style.visibility = 'visible';
}
function hideMenu(menuID) {
	var timeout = 3000;
	document.getElementById(menuID).style.visibility = 'hidden';
}
function enterZone(){
	zoneActivated = true;
}
function leaveZone(){
	zoneActivated = false;
	clearInterval(itimerid);
	itimerid = setInterval("checkMenu();", 1000);
}
function hideAllMenus() {
	document.getElementById('nav1data').style.visibility = 'hidden';
	document.getElementById('nav2data').style.visibility = 'hidden';
	document.getElementById('nav3data').style.visibility = 'hidden';
	document.getElementById('nav4data').style.visibility = 'hidden';
}
function checkMenu() {
	if (!zoneActivated) {
	hideAllMenus();
	}
}
function resize(subnav) {
	var subnavID = subnav + "Size"
	maxsize = document.getElementById(subnavID).clientHeight;
	if (document.getElementById(subnav).clientHeight > 1) {
		shrink(subnav);
	}
	else {
		expand(subnav);
	}
}
function shrink(subnav) {
	var subnavID = subnav + "Size";
	var maxsize = document.getElementById(subnavID).clientHeight + 10;
	var divsize = document.getElementById(subnav).clientHeight;
	if(rate < (divsize)){divsize = divsize - rate}
	else if((rate/2) < (divsize)){divsize = divsize - (rate/2);}
	else if((rate/4) < (divsize)){divsize = divsize - (rate/4);}
	else if((rate/5) < (divsize)){divsize = divsize - (rate/5);}
	else {divsize = divsize - 1;}
	if (divsize < minsize){clearTimeout(timer); divsize = minsize;}
	document.getElementById(subnav).style.height = divsize + 'px';
//	document.getElementById(subnavID).style.top = (contentTop + (divsize - maxsize)) + 'px';
	var runline = 'shrink("' + subnav + '")';
	if (divsize != minsize){timer = setTimeout(runline, speed)}
}
function expand(subnav) {
	var subnavID = subnav + "Size";
	var maxsize = document.getElementById(subnavID).clientHeight + 10;
	var divsize = document.getElementById(subnav).clientHeight;
	if(rate < (maxsize-divsize)){divsize = divsize + rate}
	else if((rate/2) < (maxsize-divsize)){divsize = divsize + (rate/2);}
	else if((rate/4) < (maxsize-divsize)){divsize = divsize + (rate/4);}
	else if((rate/5) < (maxsize-divsize)){divsize = divsize + (rate/5);}
	else {divsize = divsize + 1;}
	if (divsize >= maxsize){clearTimeout(timer); divsize = maxsize;}
	document.getElementById(subnav).style.height = divsize + 'px';
//	document.getElementById(subnavID).style.top = (contentTop + (divsize - maxsize)) + 'px';
	var runline = 'expand("' + subnav + '")';
	if (divsize != maxsize){timer = setTimeout(runline, speed)}
}

var expDays = 30;
var exp = new Date();
exp.setTime(exp.getTime() + (expDays*24*60*60*1000));

function getCookieVal (offset) {
var endstr = document.cookie.indexOf (";", offset);
if (endstr == -1)
endstr = document.cookie.length;
return unescape(document.cookie.substring(offset, endstr));
}
function GetCookie (name) {
var arg = name + "=";
var alen = arg.length;
var clen = document.cookie.length;
var i = 0;
while (i < clen) {
	var j = i + alen;
	if (document.cookie.substring(i, j) == arg)
	return getCookieVal (j);
	i = document.cookie.indexOf(" ", i) + 1;
	if (i == 0) break;
}
return null;
}
function SetCookie (name, value) {
var argv = SetCookie.arguments;
var argc = SetCookie.arguments.length;
var expires = (argc > 2) ? argv[2] : new Date("January 1, 3000");
var path = (argc > 3) ? argv[3] : null;
var domain = (argc > 4) ? argv[4] : null;
var secure = (argc > 5) ? argv[5] : false;
document.cookie = name + "=" + escape (value) +
((expires == null) ? "" : ("; expires=" + expires.toGMTString())) +
((path == null) ? "" : ("; path=" + path)) +
((domain == null) ? "" : ("; domain=" + domain)) +
((secure == true) ? "; secure" : "");
}
function DeleteCookie (name) {
var exp = new Date();
exp.setTime (exp.getTime() - 1);
var cval = GetCookie (name);
document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString();
}

function DeleteCookie (name) {
var exp = new Date();
exp.setTime (exp.getTime() - 1);
var cval = GetCookie (name);
document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString();
}



// JavaScript Document