with open("source.txt", "r") as source:
   with open("out.txt", "w") as out:
     for line in source:
         line = line.split("@")
         out.write(line[0]+"@"+"ftp."+line[1].replace(";", ":"))