document.write(' 693');