// JavaScript Document

   function getWinSize()
   {
      var myWidth = 0, myHeight = 0;
      if( typeof( window.innerWidth ) == 'number' )
      {
         //Non-IE
         myWidth = window.innerWidth;
         myHeight = window.innerHeight;
      }
      else if(document.documentElement && (document.documentElement.clientWidth || document.documentElement.clientHeight))
      {
          //IE 6+ in 'standards compliant mode'
          myWidth = document.documentElement.clientWidth;
          myHeight = document.documentElement.clientHeight;
      }
      else if(document.body && (document.body.clientWidth || document.body.clientHeight))
      {
          //IE 4 compatible
          myWidth = document.body.clientWidth;
          myHeight = document.body.clientHeight;
      }
      return {w:myWidth,h:myHeight}
      
   }
   
   
   // keeps full-window flash from becoming smaller than 1024 browsers size
   function adjustFlashSize(id)
   {
      //alert("Id=" + id);
	  
	  var winSizes = getWinSize();
      
      var flashObj = document.getElementById(id);
	  
	  //alert("winSizes.w=" + winSizes.w);
     // alert("obj Name=" + flashObj.name);
	  
      
      if(winSizes.w < 960)
      {
         //alert("OK");
		 flashObj.style.width = "960px";
		 //alert("flashObj= " + flashObj.style.width);
	     //alert("Fatto");
      }
      else
      {
         flashObj.style.width = "100%";
      }
      if(winSizes.h < 587)
      {
         flashObj.style.height = "587px";
      }
      else
      {
         flashObj.style.height = winSizes.h + "px";
      }

   }