document.write ("17042");