quando $PIPPIN voltará para 0,9???
ajg