cat index.html | sed '1,24d' | sed 'N;$!P;$!D;$d' > index.php