document.write(' 673');