function make_nav_box(a){nav_box_start();make_opt("Introduction",".",a);make_opt("Day 1","day1.html",a);make_opt("Day 2","day2.html",a);nav_box_end()};