function launchDemo(URL) {
	day = new Date();
	id = day.getTime();	eval("page"
	+id
	+" = window.open(URL, '"
	+ id
	+ "', 'toolbar=0,scrollbars=1,location=0,statusbar=0,menubar=0,resizable=1,width="
	+ (screen.availWidth-10)
	+",height="
	+ (screen.availHeight-32)
	+",left="
	+ 0
	+",top="
	+ 0
	+"');");
}