document.write ("4142");