proceduremain();write("Hello,\40world!");end