function overlay(message) {
  Element.update('overlay-contents', message);
  Element.setOpacity('overlay-background', 0.5);
  Element.show('overlay');
}

function show_demo() {
  window.open('/flash/demo.html','width=740,height=555');
}