Menu principale:
$testo = "123 stella! 456 cometa!"; preg_match_all('/\d+/', $testo, $ris); // Troverà "123" e "456"