void main () {
    puti(1312);
}