document.write ("42700");