function openURL(url)
  {
  if (url == "")
    return;
  top.location.href = url;
  }