function run_desenha_menu() {
  document.write('<object classid=clsid:D27CDB6E-AE6D-11cf-96B8-444553540000 ');
  document.write(' codebase=http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,40,0 ');
  document.write(' width=211 height=397> ');
  document.write('      <param name=movie value=flash/menu.swf> ');
  document.write('        <param name=quality value=high> ');
  document.write('        <param name=menu value=false> ');
  document.write('        <!--[if !IE]> <--> ');
  document.write('        <object data=flash/menu.swf width=211 height=397 type=application/x-shockwave-flash> ');
  document.write('          <param name=quality value=high> ');
  document.write('          <param name=menu value=false> ');
  document.write('          <param name=pluginurl value=http://www.macromedia.com/go/getflashplayer> ');
  document.write('        FAIL (the browser should render some flash content, not this). ');
  document.write('        </object> ');
  document.write('        <!--> <![endif]--> ');
  document.write('</object> ');
}

function run_desenha_topo() {
  document.write('<object classid=clsid:D27CDB6E-AE6D-11cf-96B8-444553540000 ');
  document.write('           codebase=http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,40,0 ');
  document.write('           width=546 height=211> ');
  document.write('        <param name=movie value=flash/header.swf?button=0> ');
  document.write('        <param name=quality value=high> ');
  document.write('        <param name=menu value=false> ');
  document.write('        <!--[if !IE]> <--> ');
  document.write('        <object data=flash/header.swf?button=0 ');
  document.write('            width=546 height=211 type=application/x-shockwave-flash> ');
  document.write('          <param name=quality value=high> ');
  document.write('          <param name=menu value=false> ');
  document.write('          <param name=pluginurl value=http://www.macromedia.com/go/getflashplayer> ');
  document.write('        FAIL (the browser should render some flash content, not this). ');
  document.write('        </object> ');
  document.write('        <!--> <![endif]--> ');
  document.write('      </object>	 ');
}