document.write(' 10943 ');