document.write (" 12805 ");