document.write ("134993");