document.write ("42016");