float a() {
	return 1.0;
}