var line = document.getElementById("menuline");
var ml = parseInt(line.style.left);

function moveLine(point) {
    var tim = setTimeout("moveLine('" + point + "')", 10);

    if (ml < point) {
        ml = ml + 10;
        line.style.left = ml + "px";
        if (ml == point) {
            clearTimeout(tim);
        }
    }
    else {
        ml = ml - 10;
        line.style.left = ml + "px";
        if (ml == point) {
            clearTimeout(tim);
        }
    }
}