// the lines listed here should be manually added to index.html. this is because
// google does not like javascripts.
document.write("",
"<div id='left_box'>",
"    <a href='http://coral.ie.lehigh.edu/images/logo.png'><img src='/images/logo_tn.png'></img></a><BR><BR>",
"    <a href='http://coral.ie.lehigh.edu/index.html'>Home</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/people.html'>People</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/software.html'>Software</a><BR>",
"    <a href='https://coral.ie.lehigh.edu/projects'>Projects</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/~ipsem'>Seminars</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/~informs'>Informs Chapter</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/pubs.html'>Publications</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/instances.html'>Data Sets</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/tutorials.html'>Tutorials</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/blogs/coral'>Blog</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/supporters.html'>Supporters</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/projects/wiki'>Wiki</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/lists.html'>Mailing Lists</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/links.html'>Links</a><BR>",
"    <a href='http://coral.ie.lehigh.edu/contact_us.html'>Contact us</a><BR><BR>",
"    <!-- SiteSearch Google -->",
"    <table>",
"    <tr>",
"    <a href='http://www.google.com'>",
"    <img src='http://www.google.com/logos/Logo_25wht.gif' border='0' ></a><BR>",
"    <tr> ",
"    <FORM method=GET action='http://www.google.com/search'>",
"      <input type=hidden name=ie value=UTF-8>",
"      <input type=hidden name=oe value=UTF-8>",
"      <input type=hidden name=domains value='coral.ie.lehigh.edu'>",
"      <input type=hidden name=sitesearch value='coral.ie.lehigh.edu'>",
"      <INPUT TYPE=text name=q size=13 maxlength=255 value=''>",
"      <BR>",
"      <INPUT type=submit name=btnG VALUE='Search Coral'>",
"   </FORM>",
"   </table>",
"   <!-- SiteSearch Google -->",
"</div>"
);