document.write('1244\n');