function make_nav_box(a){nav_box_start();make_opt("Page 1","bio1.html",a);make_opt("Page 2","bio2.html",a);make_opt("Page 3","bio3.html",a);nav_box_end()};