<?php $hi = fopen('php://stdin', "r"); $ho = fopen('php://stdout', "w"); while (true) { fscanf($hi, "%d", $n); if ($n == 42) break; fwrite($ho, sprintf("%d ", $n)); } fclose($ho); fclose($hi);