". "
"; } function end_pre() { echo "
\n"; } function trailer() { echo "