document.write (" 12841 ");