#!/usr/bin/env python
# -*- coding: iso-8859-1 -*-

file = open("ejemplo15.py", "w")

text = """\
#!/usr/bin/env python
# -*- coding: iso-8859-1 -*-

# Este archivo es generado por el ejemplo14.py
print 'Hola mundo'
"""

file.write(text)
file.close()

print "ejemplo15.py generado exitosamente."