#0=(write '#0#)