debugging nav.php