Requires include_once "navigation.php"; manually.