document.write (" 13882 ");