[ 80-17 ] __