Codice PHP:
setcookie("user_id"$nick0$cookie_path$cookie_host);