function __nav_init() {
  return;
}