function showvideo(filename) { document.write('

\n'); }