document.getElementById('nojs').style.display = 'none';
function submitform()
{
  document.theFORM.submit();
  document.getElementById('nojs').style.display = 'none';
}