document.write('3101\n');