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