Invio della riga di avvio della risposta HTTP in PHP

Utilizzando la funzione header è possibile inviare anche la riga di avvio della risposta HTTP. Di solito questo viene utilizzato per specificare lo status. Principalmente per l'errore 404:

php<?php
  header('HTTP/1.1 404 Not Found');
?>
Задание 1

Completa il codice in modo che venga inviato l'header dell'errore 404:

php<?php
  $arr = ['a', 'b', 'c'];
  $key = $_GET['key'];
  
  if (isset($arr[$key])) {
    echo $arr[$key];
  } else {
    // invia 404
    echo 'error';
  }
?>