/************ from winctrl **************/

function checkPlatform() 
 {  
   var machine = navigator.platform.toUpperCase();
   if ( machine.indexOf("MAC") != -1 )
    {
      platform_status='mac';
    }
   else if ( machine.indexOf("WIN") != -1 )
    {
      platform_status='win'; 
    }
   else if ( machine.indexOf("HP") != -1 )
    {
      platform_status='hp';
    }
   else if ( machine.indexOf("SUN") != -1 )
    {
      platform_status='sun';
    }
 }