document.write ("31142");