document.write('0867\n');