function banner(){
   document.write('<object style="display:block;" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" width="438" height="150">\n');
   document.write('<param name="movie" value="flash/banner.swf" />\n');
   document.write('<param name="quality" value="high" />\n');
   document.write('<param name="scale" value="noborder" />\n');
   document.write('<param name="wmode" value="transparent" />\n');
   document.write('<embed src="flash/banner.swf" wmode="transparent" quality="high" width="438" height="150"></embed>\n');
   document.write('</object>\n');
}



function flash_player(file, w, h, xml){
   document.write('<object style="display:block;" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" width="' +w+ '" height="' +h+ '">\n');
   document.write('<param name="flashvars" value="infoPath=' +xml+ '" />\n');
   document.write('<param name="allowFullScreen" value="true" />\n');
   document.write('<param name="movie" value="flash/' +file+ '.swf" />\n');
   document.write('<param name="quality" value="high" />\n');
   document.write('<param name="scale" value="noborder" />\n');
   document.write('<param name="wmode" value="transparent" />\n');
   document.write('<embed flashvars="infoPath=' +xml+ '" allowFullScreen="true" src="flash/' +file+ '.swf" wmode="transparent" quality="high" width="' +w+ '" height="' +h+ '"></embed>\n');
   document.write('</object>\n');
}