Refresh a page using Javascript

Courtesy of the great Panda, here's how to refresh a page using javascript. It's one of those things that makes sense once you see it, but that I doubt I would have guessed had I needed it.

window.location = window.location