document.write('1086\n');