document.write ("42003");