document.write (" 13946 ");