: * 8 ;;