(13 * P(12,3