document.write (" 19940 ");