function mybasename(filename) 
{
 var p=filename.lastIndexOf('/');
 if(p<0) return filename;
 return filename.substr(p+1);
}

function myextension(filename) 
{
 var f=mybasename(filename); 
 var p=f.lastIndexOf('.');
 if(p<0) return '';
 return f.substr(p+1);
}
function myfilename(filename) 
{
 var f=mybasename(filename); 
 var p=f.lastIndexOf('.');
 if(p<0) return f;
 return f.substr(0,p);
}