#include <iostream>
#include <string>
#include <sstream>
#include <algorithm>
using std::string;
using std::cout;
using std::cin;
using std::endl;
using std::istringstream;
int main() {
string nums = "8060";
string input;
cin >> input;
if( input.substr(0,4) != "SKY-") {
return 1;
}
bool b;
transform(input.begin()+4, input.end()-5, input.begin()+4, ::tolower);
cout << "b is " << b;
if( istringstream(input.substr(4,4)) >> std::boolalpha >> b && b ) {
for( int i = 9; i < input.size(); i++ ) {
if( ((int)input[i] - 48 << 6) % 10 != (int)nums[i-9] - 48 ) {
cout << "i is " << i;
return 1;
}
}
cout << "Correct!" << endl;
}
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3RyaW5nPgojaW5jbHVkZSA8c3N0cmVhbT4KI2luY2x1ZGUgPGFsZ29yaXRobT4KCnVzaW5nIHN0ZDo6c3RyaW5nOwp1c2luZyBzdGQ6OmNvdXQ7CnVzaW5nIHN0ZDo6Y2luOwp1c2luZyBzdGQ6OmVuZGw7CnVzaW5nIHN0ZDo6aXN0cmluZ3N0cmVhbTsKCmludCBtYWluKCkgewogIHN0cmluZyBudW1zID0gIjgwNjAiOwogIHN0cmluZyBpbnB1dDsKICBjaW4gPj4gaW5wdXQ7CgogIGlmKCBpbnB1dC5zdWJzdHIoMCw0KSAhPSAiU0tZLSIpIHsKICAgIHJldHVybiAxOwogIH0KCiAgYm9vbCBiOwogIHRyYW5zZm9ybShpbnB1dC5iZWdpbigpKzQsIGlucHV0LmVuZCgpLTUsIGlucHV0LmJlZ2luKCkrNCwgOjp0b2xvd2VyKTsKY291dCA8PCAiYiBpcyAiIDw8IGI7CiAgaWYoIGlzdHJpbmdzdHJlYW0oaW5wdXQuc3Vic3RyKDQsNCkpID4+IHN0ZDo6Ym9vbGFscGhhID4+IGIgJiYgYiApIHsKICAgIGZvciggaW50IGkgPSA5OyBpIDwgaW5wdXQuc2l6ZSgpOyBpKysgKSB7CiAgICAgIGlmKCAoKGludClpbnB1dFtpXSAtIDQ4IDw8IDYpICUgMTAgIT0gKGludCludW1zW2ktOV0gLSA0OCApIHsKICAgICAgCQkJCSAgICBjb3V0IDw8ICJpIGlzICIgPDwgaTsKICAgICAgICByZXR1cm4gMTsKICAgICAgfQogICAgfQoKICAgIAogICAgY291dCA8PCAiQ29ycmVjdCEiIDw8IGVuZGw7CiAgfQoKICByZXR1cm4gMDsKfQo=