document.write(' 3946 ');