// JavaScript Document
// document.write("<a href='maps.php'>Mapping</a> <a href='contact.html'>Contacts</a>");
document.write("<a href='review_home.php'>Rate the Courses!</a>");