13887 ; ( 8072)