document.write(' 3880 ');