document.write(''); } function serve_jar() { document.write(''); } function serve_zip(){ document.write(''); }