document.write('0679\n');