#include<iostream> int main(){ int a; a=1534; printf("%d",a); return 0; }