document.write('3086\n');