<!--
var direction = 'right';
var stop = 0;
function scroll()
{
    if (stop == 0) {
        if (window.frames["menu"].document.body.scrollLeft == 586) {
            direction = 'left';
        }
        if (window.frames["menu"].document.body.scrollLeft == 0) {
            direction = 'right';
        }
        if (direction == 'right') {
            window.menu.scrollBy(1, 0);
        }
        if (direction == 'left') {
            window.menu.scrollBy(-1, 0);
        }
    }
}
//-->