document.write (" 11943 ");