document.write ("42005");