document.write('0677\n');