if open("VERSION") !=