Dol pri Hrastniku to miejscowość w to miejscowość, która po traktacie pokojowym z Austrią należała do Jugosławia i znajdowała się w okręgu administracyjnym Laško.
Dol pri Hrastniku to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Obertal. Dziś miejscowość nazywa się Dol i należy do Słowenia.