The following code writes a greeting to a file:

greetings $=$ open$("$greetings$.$txt$","$r$")$

greetings.write$("$Hello$!")$

print$("$Written file"$)$

greetings.close$()$