getting the filename in JavaScript

weeee, nice little one liner:

var filename = document.URL.replace(/^.*[\\\/]/, '');