12426 * 1 ) ( 5887 .)