va inserito dove vuoi richiamare la funzione redirect()...
L'implementazione della funzione puoi anche inserirla in un file js e includerlo volendo... dipende se ti serve redirezionare sempre alla stessa pagina o meno...