document.write (" 12940 ");