function getFilename(thisAnchor, oldFilename) {

  var newFilename = prompt ("Enter New Filename",oldFilename);
  if (newFilename == null || newFilename == "") {
    return false;
  }
  else {
    thisAnchor.href = thisAnchor.href.replace("&retURL=","&newfilename=" + newFilename + "&retURL=");
    return true;
  }
}