// Uses functions from scriptaculous

function changeTopUserMenu()
{
    var v = 0;
    var h = Element.getHeight('topusermenu');
    if (h == 1)
    {
        new Effect.Scale('topusermenu', 3200, {scaleX: false, duration: 0.30, scaleContent: false,  queue: 'front'});
        v = 1;
    }
    else
    {
        new Effect.Scale('topusermenu', 3.125, {scaleX: false, duration: 0.30, scaleContent: false});
    }
    var now = new Date();
    var y = now.getFullYear() + 1;
    var then = new Date(y, 1, 1, 1, 0, 0);
    setCookie("TopUserMenu", v, then);
}