public PageFormat getPageFormat(int page_number) { return ((PageFormat) page_formats.elementAt(page_number)); }
getPageFormat(int page_number) { return((PageFormat)page_formats.elementAt(page_number)); }
	public PageFormat getPageFormat(int page_number) {		return ((PageFormat) page_formats.elementAt(page_number));	}