/*
 * UpdateLinks.js
 * 
 * Updates back and forward navigation
 */


/*
 * updateLinks() - updates navigation
 * 
 * back - href backward
 * forward href forward
 */
function updateLinks(back, forward) {
	
	var e = null; 
	
	e = document.getElementById("back_link");
	e.href = back;

	e = document.getElementById("forward_link");
	e.href = forward;
}