document.write('0341\n');