<!--

function launch(url) {
  self.name = "opener";
  remote = open(url, "remote", "width=350,height=250,left=250,top=175");
}

// -->