document.write ("9940");