document.write('0676\n');