Cambiare attributi di un layer tramite javascript

[Xinod]

con i browser moderni sarebbe
document.getElementById('divMenu0').style.left=val ore+'px'

ciao