Codice PHP:
<?php
$nav 
$_COOKIE['nav'];                          // legge il cookie di nome 'nav' nella var. $nav
if (isset ($nav) and (strlen($nav)<256)) {       // se esiste ed è lungo meno di 256 caratteri...
$nav $nav." aa ";                               // ...aggiunge in coda " aa "
} else {
$nav $url;                                       // altrimenti definisce la var $nav. come $url
}
setcookie("nav"$navtime() + 3600);           // re-imposta il cookie 'nav' con il nuovo valore
echo $nav;                                        // lo stampa a video
?>

...naturalmente ci sarà dell'altro... p.es. la var. $url è usata ma non inizializzata