elephant (paper size) (300265454) 'distinguished from' double elephant folio (300404416);