$input) { echo "
"; echo ""; } } }