<script type="text/javascript">

 var s = "9123456 or 80000?";

 var pattern = /\d{4}/;

 var output = s.match(pattern);

 document.write(output);

 </script>

Choose the correct answer: