#include <stdio.h>

int main(){
    int a[10] = {0};
    int k=0;
    
    for(int i=0;i<6;i++){
        scanf("%d",&a[i]);
    }
    
    for(int i=0;i<6;i++){
        if(a[i]==6){
            for(int j=i;j<6;j++){
                a[j]=a[j+1];
            }
            a[5] = 0;
            k++;
        }
    }
    printf("k = %d\n",k);
    
    for(int i=0;i<6-k;i++){
        printf("%d",a[i]);
    }
}