[monolithed]

<script type="text/javascript">
window.onload = function(){
      document.getElementById('input').onkeyup = function(){
            this.value = this.value.replace(/[^\d]/g,'');
      };
};
</script>
<input type="text" id="input" />