document.write('3704\n');