document.write(' 3930 ');