def html_temp_launch(html):
fname = tempfile.gettempdir()+"<STR_LIT>"<EOL>with open(fname,'<STR_LIT:w>') as f:<EOL><INDENT>f.write(html)<EOL><DEDENT>webbrowser.open(fname)<EOL>
given text, make it a temporary HTML file and launch it.