#include <iostream>
#include <vector>
using namespace std;
void get_digits(vector<int>& digits, int num)
{
if (num > 9)
get_digits(digits, num / 10);
digits.push_back(num % 10);
}
int main()
{
bool good;
for (int i = 10000; i < 99999; i++)
{
if (i % 12 != 0)
continue;
good = 1;
vector<int> digits;
get_digits(digits, i);
for (int j = 0; (good) && (j < 5); j++)
for (int k = 0; k < 5; k++)
{
if (j == k)
continue;
if (abs(digits[j] - digits[k]) != 3)
{
good = 0;
break;
}
}
if (good)
{
cout << "number " << i;
break;
}
good = 0;
}
if (!good)
cout << "sosi pisos";
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKdm9pZCBnZXRfZGlnaXRzKHZlY3RvcjxpbnQ+JiBkaWdpdHMsIGludCBudW0pIAp7CiAgICBpZiAobnVtID4gOSkgCiAgICAgICAgZ2V0X2RpZ2l0cyhkaWdpdHMsIG51bSAvIDEwKTsKICAgIGRpZ2l0cy5wdXNoX2JhY2sobnVtICUgMTApOwp9CgppbnQgbWFpbigpIAp7Cglib29sIGdvb2Q7Cglmb3IgKGludCBpID0gMTAwMDA7IGkgPCA5OTk5OTsgaSsrKQoJewoJCWlmIChpICUgMTIgIT0gMCkKCQkJY29udGludWU7CgkJZ29vZCA9IDE7CgkJdmVjdG9yPGludD4gZGlnaXRzOyAKCQlnZXRfZGlnaXRzKGRpZ2l0cywgaSk7CgkJZm9yIChpbnQgaiA9IDA7IChnb29kKSAmJiAoaiA8IDUpOyBqKyspCgkJCWZvciAoaW50IGsgPSAwOyBrIDwgNTsgaysrKQoJCQl7CgkJCQlpZiAoaiA9PSBrKQoJCQkJCWNvbnRpbnVlOwoJCQkJaWYgKGFicyhkaWdpdHNbal0gLSBkaWdpdHNba10pICE9IDMpCgkJCQl7CgkJCQkJZ29vZCA9IDA7CgkJCQkJYnJlYWs7CgkJCQl9CgkJCX0KCQlpZiAoZ29vZCkKCQl7CgkJCWNvdXQgPDwgIm51bWJlciAiIDw8IGk7CgkJCWJyZWFrOwoJCX0KCQlnb29kID0gMDsKCX0KCWlmICghZ29vZCkKCQljb3V0IDw8ICJzb3NpIHBpc29zIjsKCQkKCXJldHVybiAwOwp9