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.

[m4rko80]

Da come pare il file include visto che è caricato da php crea dell'html nel DOM in partenza.
Potresti quindi prendere con javascript l'altezza di questo html che genera.
Non se usi jQuery o il classico javascript ma per farti un esempio questo è un metodo:
http://api.jquery.com/height/

[deleted_193]

Ottimo esempio, ho capito il meccanismo e funziona.