ist das die richtige Zeit, um $PIPPIN zu shorten