= ( 6072 .)