String getFileHeader() {
		if (frame.isPDB)
			return getFullPDBHeader();
		String info = getModelSetProperty("fileHeader");
		if (info == null)
			info = getModelSetName();
		if (info != null)
			return info;
		return "no header information found";
	}