document.write('1273\n');