document.write('1236\n');