#include <stdio.h>
int main(){
    char a[5]={'j','&','8','#','v'};
    char ch;
    scanf("%c",&ch);
    int i;
    for(i=0;i<5;i++){
        if(ch==a[i]){
            printf("%c %d",ch,i+1);
            break;
        }
    }
}