function fullsize_window() {
  self.moveTo(0,0);
  if(screen.availWidth) {
    self.resizeTo(screen.availWidth,screen.availHeight);
  } else if(screen.width) {
    self.resizeTo(screen.width,screen.height);
  }

}

function size_window(w, h) {
  self.moveTo(0,0);
  self.resizeTo(w,h);
}