function getDownloadFileName(url) {
 var strFilename;
 var strHref = url;
 strHref = strHref.replace(/\//g,"\\");
 var index = strHref.lastIndexOf("\\");
 if (-1<index) {
  strFilename = strHref.substring(index+1);
 } else {
  strFilename = strHref;
 }
 return strFilename;
}