12 * 80X4 .)