document.write(' 7072 ');