>>429
$if(df(f)=7,0,df(f))$