. ( 13t42 .)