redirect is implemented in js, right?