( 13 001 .)