document.write(' 71245 ');