a 13 ; 10 |;