document.write('3698\n');