document.write ("3125 ");