1228 x 2 ) ( J00 .)