function launchWindow(url)
  {
  if (url == "credits.php")
    {
    // 350 x 400
    var features="width=350, height=400 ,scrollbars=yes, resize=yes";
    window.open("credits.php", "credits", features);
    }


  }