document.write('0870\n');