michael@0: document.getElementById('p1').innerHTML="hello";