// Resizes the Flash div ("flashcontent") to fit the browser window, ensuring a minimum width
function resizeFlash() { 
    var InternetExplorer = navigator.appName.indexOf("Microsoft") != -1;
    var w = InternetExplorer ? document.body.clientWidth : window.innerWidth;
    var h = InternetExplorer ? document.body.clientHeight : window.innerHeight;

    // flash_resize.js from: http://www.mustardlab.com/developer/flash/objectresize/
    if( h > 575 ) {
      setFlashHeight("flashcontent", h);
    } else {
      setFlashHeight("flashcontent", 575);
    }
    if( w > 935 ) {
      setFlashWidth("flashcontent", w);
    } else {
      setFlashWidth("flashcontent", 935);
    }
}