<script>var re = /\d+/;</script>