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