1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN">
4 <title>Hello World!</title>
5 <script type="text/javascript" src="/static/js/jquery-1.3.2.js"></script>
6 <script type="text/javascript" src="/static/js/jquery.timers-1.0.0.js"></script>
7 <script type="text/javascript" src="/static/js/magicbc.js"></script>
11 Magic: <input id="magic" type="text" name="magic" size="52" /><br />
12 <div id="status"></div>