erfc ((100-x)/15/sqrt(2))/2