// JavaScript Document
var curPosition=-38;
var curMenu;
var slider;
function showMenu(selectedMenu) {
     clearInterval(slider);
     curMenu = document.getElementById(selectedMenu);
     slider = setInterval("show()", 10);
}
function show() {
     if (curPosition < -1) {
           curPosition = curPosition + 3;
           curMenu.style.top = curPosition + "px";
     }
}
function hideMenu(selectedMenu) {
     clearInterval(slider);
     curMenu = document.getElementById(selectedMenu);
     slider = setInterval("hide()", 10);
}
function hide() {
     if (curPosition > -38) {
           curPosition = curPosition - 3;
           curMenu.style.top = curPosition + "px";
     }
}
document.write('<div id="themeTab" class="themeTab" onmouseover="showMenu'+"('themeTab')"+'" onmouseout="hideMenu'+"('themeTab')" + '"><p><a href="" onclick="SetCookie(nameOfCookie, 1, exp); doRefresh();">Dark</a><br /><a href="" onclick="SetCookie(nameOfCookie, 2, exp); doRefresh();">Cool Blue</a></p></div><div id="Clock" class="clock"></div>');