document.write('0687\n');