<?php function generateHeader($title, $description, $keywords) { ?><!DOCTYPE html5>
<html>
  <head>
    <link href="style.css" rel="stylesheet" />
    <title><?php echo $title; ?></title>
    <meta name="description" content="<?php echo $description;?>" />
    <meta name="keywords" content="<?php echo $keywords;?>" />
    <script>
      <?php if (!isset($_GET["PRERELEASE"])) echo 'document.location.href="/kiwi/";'; ?>
    </script>
  </head>
  <body><?php } ?>
