document.write ("3825 ");