document.write(' 8672 ');