function make_nav_box(a){nav_box_start();make_opt("Pre-Race",".",a);make_opt("Race Day","raceday.html",a);make_opt("Post Race","postrace.html",a);nav_box_end()};