document.write(' 3994 ');