or DOBLO, a Spanish and Portuguese coin, being the double of a pistole.