document.write (" 11896 ");