document.write ("6042");