function make_nav_box(a){nav_box_start();make_opt("Home",".",a);make_opt("Page 2","page2.html",a);make_opt("Page 3","page3.html",a);make_opt("Page 4","page4.html",a);nav_box_end()};