document.write(' 71412 ');