printf("%d",prod(scanf("%d,")))