document.write (" 18940 ");