function check_level($error_level, $errno, $message)
	{
		if (error_reporting() & $error_level) {
			switch ($error_level) {
				case E_NOTICE:  $type = 'notice';  break;
				case E_WARNING: $type = 'warning'; break;
				case E_ERROR:   $type = 'error';   break;
			}
			echo "<b>ETS $type:</b> $message";
		}
		if ($error_level == E_ERROR) {
			exit;
		}
	}