<!--
function launchbig(){
window.open("../demo/DEMO.dcr", "bigwindow", "fullscreen=yes,type=fullWindow");
}
//-->