document.write ("42138");