( 17 612 / el891 .)