<!-- opens a new window -->
<!-- file = file name -->
<!-- name = window name -->
<!-- options = any options wanted such as height and width -->
function launch(file,name,options) {
	window.open(file,name,options);
}