I would have thought


window.location.reload()


would also do the job

;)