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