if (isset($_GET['refresh']) && settype($_GET['refresh'], 'integer')) echo "
\n"; ?>