document.write (" 3834 ");