"; echo "time in \$_COOKIE: {$_COOKIE['cookie3']}";