document.write (" 3833 ");