<?php include_once('navigation.php'); session_start(); if (empty($_SESSION['nav'])) { $nav = & new Navigation; $_SESSION['nav'] = & $nav; } ?>
info at phpclasses dot org