print header, start_html('Rankings: '), (@lines), end_html;