function navMenu ()
{
   var mx = "| home | hall of fame | milkers |";
//   var m1 = "<p align=center style='text-align:center'>";
   var mh = '<a href="index.html">home</a>';
   var mr = '<a href="reference.html">hall of fame</a>';
   var mm = '<a href="milkers.html">milkers</a>';
   var mf = '<a href="firstfresh.html">first fresheners</a>';
   var mb = '<a href="bucks.html">sires</a>';
   var md = '<a href="drystock.html">dry stock</a>';
   var ms = '<a href="stockforsale.html">For Sale</a>';
//   var m2 = "|</p>";
   var menus = "| " + mh + " | " + mr  + " | " + mm + " | " + mf + " | " + mb + " | " + md + " | " + ms + " |";

   document.write ("<p align=center style='text-align:center'>" + menus + "</p>");
}