( 5.8 X 8.^ decimaltum ) , 72st.