document.write('3107\n');