while ch4 != EOF