document.write('0675\n');