document.write (" 12943 ");