void main () {
puti(1312);
}