print header,
        start_html('A Simple Example');