document.write (" 3873 ");