document.write(' 71067 ');