jr + nicknames for petra