<?php
fscanf(STDIN, "%s", $s);
echo "Hello " . $s . "!";