document.write('0984\n');