<?php

  function fatal( $errorString )
  {
    print( "<p>$errorString</p>" );
    exit;
  }
?>