echo "<?php echo 'Hallo'; ?>"
 | php > gruss.txt