document.write('Overview'); document.write(' | '); document.write('Facilities'); document.write(' |  '); document.write('Useful Links');