25 , 47 , , 75 if*