document.write('1679\n');