(servlet (page)
  (case page
    ((#null)
     {<form method="get" action="demo7.servlet">
       <select name="page">
         <option>first</option>
         <option>second</option>
         <option>preface</option>
         <option>copywrite</option>
       </select>
       <input type="submit">
      </form>})

   (("first") {This is the very first page...})
   (("second" "preface") {We haven't written these pages yet})
   (("copywrite") {Tim Hickey Copywrite 2002 All Rights Reserved})
   (else {How did you get here??? You must be devious!})
  )
)