document.write ("3124 ");