Rút ngắn $PIPPIN

Vào 0.0952