#charset "UTF-8"
	
#include <tads.h>
#include <file.h>
#include <date.h>
#include <charset.h>


main()
{
"Before ol
<ol plain>
	<li>item 1 </li>
	<li type=A>item 2 </li>
	<li type=i value=2000>item 3 </li>
	<li type=a>item 3b </li>
	<li type=disc>item 4</li>
	<li plain>item 5</li>
	<li>item 7 </li>
</ol>
After.";
}

