document.write('3042\n');