document.write('1243\n');