8072 . x 4 .)