main(s){printf("\"%s\"",gets(&s));}