#include <iostream>
using namespace std;
bool isDigitsDiff(long long a){
int r[10]={0};
while (a>0){
int d=a%10;
if (r[d]==1) return false;
r[d]=1;
a=a/10;
}
return true;
}
bool isContain2013(long long a){
while (a>0){
if (a%10000==2013) return true;
a=a/10;
}
return false;
}
int main()
{
long long a=0;
while (a<9876543210) {
a=a+2013;
if (isDigitsDiff(a) and isContain2013(a)) {
cout << a << endl;
}
}
}
I2luY2x1ZGUgPGlvc3RyZWFtPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmJvb2wgaXNEaWdpdHNEaWZmKGxvbmcgbG9uZyBhKXsKICBpbnQgclsxMF09ezB9OwogIHdoaWxlIChhPjApewogICAgaW50IGQ9YSUxMDsKICAgIGlmIChyW2RdPT0xKSByZXR1cm4gZmFsc2U7CiAgICByW2RdPTE7CiAgICBhPWEvMTA7CiAgfQogIHJldHVybiB0cnVlOwoKfQpib29sIGlzQ29udGFpbjIwMTMobG9uZyBsb25nIGEpewogIHdoaWxlIChhPjApewogICAgaWYgKGElMTAwMDA9PTIwMTMpIHJldHVybiB0cnVlOwogICAgYT1hLzEwOwogIH0KICByZXR1cm4gZmFsc2U7Cn0KCmludCBtYWluKCkKewogICAgbG9uZyBsb25nIGE9MDsKICAgIHdoaWxlIChhPDk4NzY1NDMyMTApIHsKICAgICAgYT1hKzIwMTM7CiAgICAgIGlmIChpc0RpZ2l0c0RpZmYoYSkgYW5kIGlzQ29udGFpbjIwMTMoYSkpIHsKICAgICAgICBjb3V0IDw8IGEgPDwgZW5kbDsKICAgICAgfQogICAgfQp9Cg==