document.write(' 6938 ');