s/^o18 = {[0-9][0-9.]*, [0-9][0-9]*}$/o18 = {XXX, 8}/
