it's been a while since I've done basic javascript redirects. Isn't it just something like

location.href()

?