$line=""; print "";