float r250norm(void);