No real difference, but on an older browser, you might shave a few milliseconds off by using "window.location" instead of just "location", as the latter will ne

No real difference, but on an older browser, you might shave a few milliseconds off by using "window.location" instead of just "location", as the latter will need to traverse from local scope up to the global (window) scope.