a s t ; ; a!