function spinMouseOver(div)
{
    var divMenu = document.getElementById(div);

    if (divMenu) {
        if (divMenu.style) {
            divMenu.style.listStyle = "disc";
        }
    }
}

function spinMouseOut(div)
{
    var divMenu = document.getElementById(div);

    if (divMenu) {
        if (divMenu.style) {
            divMenu.style.listStyle = "none";
        }
    }
}