"; highlight_string($text); echo "

"; } ?>