Cita: No estoy seguro pero creo que te refieres a que debí de llamarlo asi
Código:
document.getByElementId('scroll_clipper').scrollTop;
es correcto, a eso me referia. si haces la referencia directa, es muy probable que no te funcione en todos los navegadores. la referencia directa primero aparecio en iexplorer. algunos navegadores lo soportan pero apuesto que fue para acomodarse a las costumbre de los desarrolladores pese a que no es la forma correcta. ¡animo!