function winfocus () {
 if (window.focus) {
        self.focus();
     }
 }    

 
function is_nottoplevel(w) { return (w.parent != w); }

function buttons (buttons) {
if (is_nottoplevel(window) ) {
          parent.buttons.location = buttons;
      }    
}


function LoadHome (url) { 
if (top.length <= 1) 
 {
           window.top.location= url;   
}
}