document.write('0864\n');