document.write(' 71012 ');