function manualNavComboChange(combo)

{
  document.location=combo.value;
}

function onlineInfoManPostForm(task)

{
  frm=document.getElementById('onlineInfoMan');
  
  frm.task.value=task;

  frm.submit();
}

function confirmOldVersion()

{
  return confirm('Are you sure you want to download an old version?');
}