$PRIME håller i sig.
3,56K