//The url to the server side indexing html file
indexUrl = "http://www.research.up.ac.za/Indexing/urlindex.htm";
googleUrl = "http://www.research.up.ac.za/Indexing/google.htm";

function getUrlIndex(key) {
	reWin=window.open(indexUrl + '?' + key, 'other');
}

function googleSearch(type, string) {
	reWin=window.open(googleUrl + '?' + type + '?' + string, 'other');
}