( 17 : ( 2 ( ( 6 ( 25 t 1 ( ( 2 t 80 ( li ( 4 ( 1 ( ( 1 t 5 BO 25 ) 90 ) - ) -)