document.write ("42143");