> i'm using
> 
>    tokenize(document-uri(/), '/')[last()]
> 
> or '\' if working with backslashes.
> 

The document-uri() function returns a URI, not a filename, and URIs always
use forwards slashes as separators.

Michael Kay
http://www.saxonica.com/