<?php
echo htmlentities("<html>");