//  This file contains support functions
var timeoutID;

function null_handler()
	{
	
	}

function set_page(page)
    {
    var image_string = "<img src='./images/sea_" + page + "_roll.gif' width='134' height='40' border='0' name='" + page + "'>";
    var image_string_short = "./images/sea_" + page + "_roll.gif";
    
	if (page == "home")
		image_string = "<img src='./images/sea_" + page + "_roll.gif' width='134' height='48' border='0'>";
	
    if (isIE4)
        {
        document.getElementById(page).innerHTML = image_string;
        }
    
    if (isW3C)
        {
        var newNode = document.createElement("img");
        newNode.setAttribute("src", image_string_short);
        newNode.setAttribute("width", "134");
        newNode.setAttribute("height", "40");
		if (page == "home")
        	newNode.setAttribute("height", "48");
        newNode.setAttribute("border", "0");
        var oldNode = document.getElementById(page).firstChild;
        var removedNode = document.getElementById(page).replaceChild(newNode, oldNode);
		document.getElementById(page).onmouseover = null_handler;
		document.getElementById(page).onmouseout = null_handler;
        }
    }