function fillContentBox ()
{
contentHTML='\
<p><a href="staff.htm">Staff</a> -- Meet the people who make lunch happen</p>\n\
<p><a href="history.htm">History</a> -- A brief history of food service on campus</p>\n\
<p><a href="gallery.htm">Gallery</a> -- Photographs of times gone by</p>\n\
';

document.getElementById('contentBox').innerHTML=contentHTML;
}