document.write (" 12825 ");