document.write ("42008");