// function for index page to show or hide home button

function checkHomeButton() {
	if (document.getElementById) {
		if (self.name == "visited") {
		var hb = document.getElementById("home_button");
		hb.style.visibility = "visible";
		}
	}
window.name = "visited";
}


// functions for image and link rollovers in menu

function rollOn(im) {		
		if (document.images) {
			document.images[im].src = "img/" + im + "-on.gif";
			}
}

function rollOff(im) {
		if (document.images) {
			document.images[im].src = "img/" + im + "-off.gif";
			}
}


// function for automatic redirect on forward page

function forwardPage() {
	setTimeout("top.location.href = 'http://www.oceanrogueinn.com/index.html';",25000);
}