| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd"> | |
| <html> | |
| <frameset rows="20%,80%"> | |
| <frame name="controller" id="controller" src="controller.php"> | |
| <frame name="test_arena" id="test_arena"> | |
| </frameset> | |
| </html> |