HD3 e HD7 sono la medesima cosa.
Quello che oggi e' uscito col nome di HD7,in origine e' stato conosciuto col nome di HD3.