[ 80960 & lt;