These websites are known to have been using dns1.alcaldiadesanfernando.gob.ve as their DNS nameserver.