document.write('3742\n');