document.write ("31993");