document.write('1206\n');