Public debt now US$7.841.3 million