function setArrow(elementID){
	document.getElementById('arrowObject' + elementID).src = "img/arrowRightHighlight.gif";
}
function resetArrow(elementID){
	document.getElementById('arrowObject' + elementID).src = "img/arrowRight.gif";
}
function printDocument(type, id){
	window.open ("php/printDocument.php?type=" + type + "&id=" + id, "printWindow");
}