// JavaScript Document

function getInternalPageLinkCount(){
	var count = 4;
	return count;
}

function buildPageLinks(){
	var result = '<font face="Arial, Helvetica, sans-serif" size="3">';
	result = result + '<a href="index.html">Overview</a><br>';
	result = result + '<a href="interests.html">Our Interests</a><br>';
	result = result + '<a href="publications.html">Publications</a><br>';
	result = result + '<a href="about.html">About</a><br>';
	
	return result;
}