document.write ("42013");