function sc_basename(p) {
   var i = p.lastIndexOf('/');

   if(i >= 0)
      return p.substring(i + 1, p.length);
   else
      return '';
}
function sc_basename(p) {
   var i = p.lastIndexOf('/');

   if(i >= 0)
      return p.substring(i + 1, p.length);
   else
      return '';
}
function sc_basename ( p ) { var i = p . lastIndexOf ( '/' ) ; if ( i >= 0 ) return p . substring ( i + 1 , p . length ) ; else return '' ; }
/* ---------------------------------------------------------------------------- * META ((export #t))
/ * ---------------------------------------------------------------------------- * META (( export #t ))