document.write ("11142");