perfetto, grazie mille
le prime istruzioni di codice di una mia pagina php sono queste

Codice PHP:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<?
  //verifico se l'utente si e' autentificato
   
   if(!isset($_SESSION['utente_id'])) {
   //l'utente non ha fatto login o la sessione e' scaduta, rimando alla pagina di registrazione
   header("location: login_form.php"); 
   }
?>
però quando accedo a questa pagina mi dà l'errore:

Warning: Cannot modify header information - headers already sent by (output started at C:\Programmi\eclipse-php\workspace\miosito\admin\control_panel.php:2) in C:\Programmi\eclipse-php\workspace\miosito\admin\control_panel.php on line 7

eppure sono le prime istruzioni della mia pagina, come mai mi dà quest'errore?