#include <stdio.h>

int main(void) {
  printf("%d,77,%f,%c%c,%lf\n",77,77.0,'7','7',77.0);
  return 0;
}