// JScript File

   
   function GetKeyCode(evt)
   {
		return (window.event)? evt.keyCode : evt.which;		      	    
   }
   
   function IsNumber(evt)
{       
    var keycode = GetKeyCode(evt);

     //if ctrl+V or ctrl+A or ctrl+C or ctrl+X or ctrl+Z pressed in FF (task 6135)
    if(evt.ctrlKey && (keycode==118 || keycode==97 || keycode==99 || keycode==120 || keycode==122))
    {
        return true;
    }
    
    if( keycode>=48 && keycode<=57 || (keycode==8||keycode==0 || keycode==9))            
    {
         return (window.event)? evt.returnValue= true : true;		 
    }
    else
    {
        return (window.event)? evt.returnValue= false : evt.preventDefault();		 
        
    }
}