<?php
function getcookie (string $name): string {
return htmlspecialchars($_COOKIE[$name]);
}
function getrawcookie (string $name): string {
return $_COOKIE[$name];
?>