document.write (" 19943 ");