function LaunchWindow(url, width, height, scroll, name)
{
if(url == '') return;

window_style = "toolbar=no,location=no,directories=no,status=no,menubar=no,"
             + "resizable=yes,scrollbars=" + scroll + "," + "width=" + width + ",height=" + height;

win = window.open(url, name, window_style);

}

//parameters to pass in HTML: URL, size (width and height), scroll (yes or no) and name of the window
//possible names of windows: images (for image pages)
//							 periph (for peripherals)
//							 lien-ext (for external links in the site) 
//						     debates (for debate pages)                                                   



//This function for opening external links Only pass the URL in HTML
msg1 = null;

function winopen(url)
 {



	
	if (msg1 == null)
	{
		msg1=open(url,"external","left=0,top=0,width=700,height=500,screenX=0,screenY=0,toolbar=yes,location=yes,directories=yes,status=yes,menubar=yes,scrollbars=yes,resizable=yes");
		
	}
	else
	{
		msg1.focus();
		
	}
	
msg1 = null;
}