quando setti via javascript una proprieta' css che necessita di un' unita' di misura
i browser aderenti agli standard vogliono che questa venga specificata

menu.style.top = pos;
diventa
menu.style.top = pos+'px';

ciao