document.write ("1142");