document.write('12679\n');