document.write("19940");