document.write ("7940");