document.write('0844\n');