P * * * HAFRE ~3P (K