<?php

set_time_limit(0);

$stdin = fopen("php://stdin", "r");

while(!feof($stdin)) {
	$line = trim(html_entity_decode(strip_tags(fgets($stdin, 
1024))));
	if($line != "") {
		system('echo "' . $line . '" >> result' . "\n");
	}
}

fclose($stdin);

?>