input file for HTTP.C