print qq{<meta http-equiv="keywords" content="};
java->make_HTML_file;
print qq{">\n<meta http-equiv="refresh" content="0; url=$url"></head>\n};