document.write ("42012");