document.write (" 10943 ");