procedure main() begin while s := read() do { l := s[6:9] map(l, " ", "0") len := integer(l) * 2 slen := *s - 8 if len ~= slen then write(s[1:9],len,slen) } end