Nachtrag:

document.getElementById("hallo").style.top = top;

Hier fehlt natürlich noch ne Maßeinheit. Denkbar wäre:
document.getElementById("hallo").style.top = top + "px";