<!--
  var src = '/~andrea/javascript/message_01.js';
  document.write("<scr" + "ipt src=" + src + "><\/scr" + "ipt>");
// -->