Getting the file prefix

//This works fine
var OSName="Unknown OS";
if (navigator.appVersion.indexOf("Win")!=-1) {OSName="Windows"};
if (navigator.appVersion.indexOf("Mac")!=-1) {OSName="MacOS"};
if (navigator.appVersion.indexOf("X11")!=-1) {OSName="nix"};
if (navigator.appVersion.indexOf("Linux")!=-1) {OSName="nix"};

//This is the problem
var url = document.URL;
var filename="Unknown filename";
if (OSName == "nix") {
filename = url.substring(url.lastIndexOf("\/")+1,url.length-5; // for *nix
}
else {
filename = url.substring(url.lastIndexOf("\\")+1,url.length-5; // for windows 
}

// For testing if I'm getting it right..
document.write(OSName);
document.write("<br />");
document.write(filename);

var tr = window.location.pathname
//var tr = document.URL
len = tr.length
var filename = tr.substring(len-7,len-5);