document.write (" 6943 ");