document.write ("<font face=\"Arial, Helvetica, sans-serif\">14,777 stories archived</font>\n");