<?php
  # URL that generated this code:
  # http://txt2re.com/index-php.php3?s=42%2043&2
  $txt='42 43';
  $re1='.*?';	# Non-greedy match on filler
  $re2='\\d+';	# Uninteresting: int
  $re3='.*?';	# Non-greedy match on filler
  $re4='(\\d+)';	# Integer Number 1
  if ($c=preg_match_all ("/".$re1.$re2.$re3.$re4."/is", $txt, $matches))
  {
      $int1=$matches[1][0];
      print "($int1) \n";
  }
  #-----
  # Paste the code into a new php file. Then in Unix:
  # $ php x.php 
  #-----
?>