#include double f();int main(void){ printf("%f", f(10.2)); return 0;}double f(double num){ return num / 2.0;}