function launchSite(url) {
	
		var newWin = window.open(url, "newSite");
		
	}
	
	function launchTool(url,width,height) {
	
		width = width+50;
		height = height+50;
		var newWin = window.open(url, "toolWin","width="+width+", height="+height+", location=false, status=false");
		
	}
	
	function launchDoc(url,width,height) {
	
		width = width+50;
		height = height+50;
		var newWin = window.open(url, "docWin","width="+width+", height="+height+", location=false, status=false");
		
	}
	
	
	function showFiles(dir) {
	
		var newWin = window.open("fileList.php?dir="+dir, "directoryListing", "width=400, height=500, location=false, status=false");
		
	}