printf("%s", userinput);