function openFile(file) {
	window.open("/"+file+".php", "file",
		"toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=no,copyhistory=no,width=600,height=400,left=200,top=300");
	return false;
}