document.write(' 3834 ');