function clearDefault(el) {
  if (el.defaultValue==el.value) el.value = ""
}

function printPage () {
	window.print()
}

function showPic (whichpic, placeholder,zoomId) {
 if (document.getElementById) {
  document.getElementById(placeholder).src = whichpic.href;
  zoom(zoomId);
  return false;
 } else {
  return true;
 }
}

function pagination(pageNumber)

{
	document.paginationForm.pageNum.value = pageNumber;
  document.paginationForm.submit();
}