<!--
        var bgc = "#FFC000"; // background color of the item
        var tc = "#2F0040"; // text color of the item
        var over_bgc = "gold"; // active background color
        var over_tc = "navy"; // active text color

	// for menu
	var menu_over_bgc = "gold";
	var menu_over_tc = "black";
	var menu_bgc = "transparent";
	var menu_tc = "black";

        function color(obj)
        {
         document.getElementById(obj).style.backgroundColor = over_bgc;
         document.getElementById(obj).style.color = over_tc
        }

        function uncolor(obj)
        {
         document.getElementById(obj).style.backgroundColor = bgc;
         document.getElementById(obj).style.color = tc
        }

        function color_menu(obj)
        {
         document.getElementById(obj).style.backgroundColor = menu_over_bgc;
         document.getElementById(obj).style.color = menu_over_tc
        }

        function uncolor_menu(obj)
        {
         document.getElementById(obj).style.backgroundColor = menu_bgc;
         document.getElementById(obj).style.color = menu_tc
        }

        function setTimer(addr, time)
        {
            setTimeout("go(\""+addr+"\")", time);
        }

        function go(addr)
        {
            window.location=addr;
        }
//-->