#!c:/Python32/python

import cgi

def gen_html_header() :
    print "Content-Type: text/html"
    pr