What is the value printed by the following C program on the console window? #include #include int modify_value(int j); int main() int a = 0; int b = 0; a = 12 + rand() % 6; do { b = (modify_value(a)); } while (a > 18); printf("%0.11f ", 2* (double)a/modify_value(b)); return 0; int modify_value(int j) static int a = 0; a += j; return a;