document.write ("42002");