document.write (" 3825 ");