function vers_opera(){
  
        var browser = navigator.appName;
        
        var b_version = navigator.appVersion;
        
        var version = parseFloat(b_version);
        
        if ((browser == "Opera") && (version >= 9.8)){
        
              div=document.getElementById('test');
              
              divbody=document.getElementsByTagName('body')[0];
              
              div.style.height='1042px';
              
              divbody.style.height='100%';
              
        }
  }