document.write('3108\n');