#!/usr/bin/awk -f

/[0-9]+/ { acc += $1; next }
         { if (acc > max) max = acc; acc = 0 }
END      { print max }