document.write ("42004");