//NAV HOVER STATES
arr_nav_hover = new Array(new Image(), new Image(), new Image(), new Image());
arr_nav_hover[0].src = "images/tabs-home-over.gif";
arr_nav_hover[1].src = "images/tabs-features-over.gif";
arr_nav_hover[2].src = "images/tabs-apps-over.gif";
arr_nav_hover[3].src = "images/tabs-stories-over.gif";

arr_nav_inactive = new Array(new Image(), new Image(), new Image(), new Image());
arr_nav_inactive[0].src = "images/tabs-home-off.gif";
arr_nav_inactive[1].src = "images/tabs-features-off.gif";
arr_nav_inactive[2].src = "images/tabs-apps-off.gif";
arr_nav_inactive[3].src = "images/tabs-stories-off.gif";

function navHover(which) {
	document.images["nav"+which].src = arr_nav_hover[which].src
};
function navUnHover(which) {
	document.images["nav"+which].src = arr_nav_inactive[which].src
};