13887 ) ( 3072)