File "stdin", line 7, character 13: syntax error.