123456789
int highest = MIN; while get input: get user input >> next if next > highest: highest = next print highest