document.write(' 11943 ');