var URL = document.location.href; // URL
		var URLLength = URL.length // the length of the URL string
		var locatOfDollar = URL.indexOf("$"); // character index of dollar sign
		var pageNumberLocat = locatOfDollar + 1; //  boolean value telling if a dollar sign exists in the URL
		var pageNumber = URL.charAt(pageNumberLocat);
		var numPagePagination = 2;
		var URLpart1 = URL.substr(0,URL.indexOf("$")); // URL from beginning of URL to just before the dollar sign
		
		/*  this function determines whether or not the character being examined is a slash (/) or not */
	function isSlash() {
		if (URL.charAt(i) == "/")
			return true;
		else
			return false;
	}

	function Pagination(maxPages) {
			
		if (pageNumberLocat != -1) {  // if the the boolean value of pageNumberLocat returns true...
			var locatOfThirdSlash = -1; // placeholding value for the character location of the third slash	
			//var slashCount = 0; // integer that keeps track of how many slashes have been found in the loop
			
			/*  loop through each character in the URL until the third slash (/) is found.  That third slash indicates the end of the domain name.  By knowing where the end of the domain name exists in the URL you can create hyperlinks with virtual paths to however many pages you want.  If the domain changes then the URLs will still be correct. */
/*			for (i=0; i<=URL.length; i++) {
				if ((isSlash() != false) && (slashCount < 3)) {
					slashCount++;
					locatOfThirdSlash = i;
				}
			}
			
			document.write("The third slash is at location " + locatOfThirdSlash + "\n");
			document.write(URL.charAt(locatOfThirdSlash)); */
				document.write("<p align='center'>");
				document.write("[ ");
			//for (i=1; i<=numPagePagination; i++) {
			for (i=1; i<=maxPages; i++) {
					//alert("this is page number " + pageNumber + " and i=" + i);	
					if(i == parseInt(pageNumber)) {
						document.write(i + " ");
					}
					else {
						document.write("<a href='" + URLpart1 + "$" + i + ".html'>" + i + "</a> ");
					}
			}
				document.write(" ]");
				document.write("</p>");
				
		}
	}