print header,start_html,h1('redirecting to a different page');