Replace multiple lines through sed

Hi All,

I have a input file as sample below

<this is not starting of file>
record
line1
line2
line3
end
line4
line5
record
line6
line7
line8

my requirement is this, i want to select a pattern between first record and end, whatever is written between first record and end.
and i want to replace it with some different set of lines.
maybe like

expected output:

 <not starting of file>
record
line11
line12
line13
end
line4
line5
record
line6
line7
line8

Kindly, give me some idea , how to do that??

Thanks,
Aditya