document.write(' 3934 ');