<?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", $n));
}

fclose($ho);
fclose($hi);