document.write ('10943');