window.addEvent('domready', function() {
        qtInstalled = checkPlugin("QuickTime");
        wmInstalled = checkPlugin("Windows Media");
    });

function entsub(event,ourform) {if (event && event.which == 13) ourform.submit();  else    return true;}
function popup(url) {
  args = 'width=600,height=800';
  ok = window.open(url,'',args);
  if (ok) return false;
  else return true;
}