#include <iostream>
using namespace std;
int main()
{
char ch;
// output the begining HTML tags
cout << "<html>\n<body>\n<pre>\n";
// loop until the End of File is reached
while (! cin.eof())
{
// get the next character from the input
cin.get(ch);
// check for character with special meaning in HTML
switch (ch)
{
case '<':
cout << "<";
break;
case '>':
cout << ">";
break;
default:
// no special value to output
cout << ch;
break;
}
}
// output the ending HTML tags
cout << "</pre>\n</body>\n</html>\n";
}