function basename(path) {
    return path.replace(/\\/g,'/').replace( /.*\//, '' );
}
	 
 function dirname(path) {
     return path.replace(/\\/g,'/').replace(/\/[^\/]*$/, '');;
 }

 function filenameBeforeExtension(file) {
		 return file.substr(0, file.lastIndexOf('.'));
 }

