function vc_ImageJump(){var a=document.getElementById("imageno").value;GotoImage(a)}function vc_CheckEnter(a){return(a.keyCode!=13||a.which!=13)}function vc_CheckGotoImage(a){if(a.keyCode==13){vc_ImageJump()}return};