function popup(url,args) {
  ok = window.open(url,'',args)
  if (ok) return false;
  else return true;
}