Codice PHP:
function refresh($page,$time=3){
        
$extra$page;
        
header("Refresh: $time; URL=\"$extra\"");
    }