adapts jump to to changed div id

Supports both the old and the new id