<!--

    function keystrokes(form) {
        form.fn.value = 9999;
    }

// -->