document.write('3102\n');