is: : ; as*