5588 . x 12 .)