document.write ("42001");