document.write(' 71256 ');