( 13 , * dec.-tum)