<?php

foreach  (file("php://stdin") as $line)
{
	$line = rtrim($line);
	echo "[$line]\n";
}

?>