document.write ("31418");