var WebTitle = "Williams Acosta::::::::";

function MenuBar() {
document.write('| <a href="averyWilliams.html">Avery K. Williams</a> | ' +
    		   '<a href="rubenAcosta.html">Ruben Acosta</a> | ' + 
    		   '<a href="victorTorres.html">Victor J. Torres</a> | '+
    		   '<a href="davidDomzal.html">David A. Domzal</a> | ' +
    		   '<a href="alanWasserman.html">Alan D. Wasserman</a> | ' + 
    		   '<a href="krystalLyons.html">Krystal N. Lyons</a> | ' +
    		   '<a href="sarahLile.html">Sarah D. Lile</a> | ' +
    		   '<a href="felipeTorres.html">Felipe B. Torres</a> |')
}