<?php
  print("<font color=\"red\">Red text</font>");
?>