" substr($0, ...">