// JavaScript Document

h_script();
function h_script() {
	text="	  <a href='../articles.html'>Articles</a>&nbsp;|&nbsp;";
    text=text + "  <a href='../books.html'>Books</a>&nbsp;|&nbsp;";
	text=text + "  <a href='../websites.html'>Websites</a>&nbsp;|&nbsp;";
	text=text + " <a href='../electronic_media.html'>Electronic Media</a>&nbsp;|&nbsp;";
	text=text + " <a href='../programs.html'>Programs</a>&nbsp;|&nbsp;";
	text=text + "  <a href='search.php'>Search Library</a>"; 
	document.write(text);
}