function __nav_init() { return; }