#charset "UTF-8"

#include <tads.h>
#include <file.h>
#include <date.h>
#include <charset.h>


main()
{
"before font<br>";
"<font face=Courier>";
"in font face=Courier<br>";
"<basefont face=Futura>";
"text with html basefont face=Futura<br>";
"</font>";
"after font";
}

