document.write('1704\n');