all real numbers except 15