Redirecionamento de página por PHP

Exemplo
Arquivo index.php

<?php 
 header('Location: http://www.gigafull.com.br/pagina3', true, 301);
 exit();
?>