[ 102 ; 80100:25