document.write (" 13922 ");