#include <stdio.h>

int main(){
    char ch;
    int left, right;
    
    left = right = 0;
    
    while((ch = getchar()) != '#'){
        if(ch == '('){
            switch(getchar()){
                case '^': left++; break;
                case '*': right++; break;
            }
        }
    }
    
    printf("%d %d\n", left, right);
    return 0;
}