document.write ("19940");