document.write('1342\n');