$title
END; } function ui_print_footer($date) { $date = htmlentities($date); echo <<
$date
Any Co.
END; } ?>