Determinare altezza di un file include(..)

[deleted_193]

Salve, vorrei sapere se è possibile determinare l'altezza di un file importato nella pagina tramite include. Esempio:

<div id="comincia"></div>
<?php include("$_GET['prova'].php"); ?>
<div id="fermati"></div>

I div riguardano un elemento che cambia i suoi attributi da fixed a relative, a seconda di come ci si muove nella pagina, mentre prova.php rappresenta un file dalla lunghezza variabile(dipende da quale pagina ci troviamo, tuttavia il file in questione dopo il caricamento non varia mai la sua altezza).
Ricapitolando vorrei sapere come ricavare l'altezza di questo file per impostare correttamente i div "comincia" e "fermati", e in particolare l'attributo top(css) che cambiano.