fn main
[
	var lines := list_break_to_lines(read_lazy(h[0]));
	var sum := 0;
	for l in lines do [
		const n := 12;
		var j := 0;
		var lpos := 0;
		for pos := 0 to n do [
			var max := 0;
			var max_pos := -1;
			for i := lpos to len(l) - n + 1 + pos do [
				if l[i] > max then [
					max := l[i];
					max_pos := i;
				]
			]
			j := j * 10 + (max - '0');
			lpos := max_pos + 1;
		]
		sum += j;
	]
	write(h[1], ntos(sum) + nl);
]