function defilmsg() {
    var msg ="  Bienvenue sur le site du CROUS de Lille          ";
    var espaceur = "                                         ";
    pos=0;

    window.status=msg.substring(pos,msg.length)+espaceur+msg.substring(0,pos);
    pos++;
    if (pos > msg.length)
      pos=0;
    window.setTimeout("defilmsg()", 200);
  }


    function new_window(page,w,h) {
      var heightspeed = 9; // vertical scrolling speed (higher = slower)
      var widthspeed = 20;  // horizontal scrolling speed (higher = slower)
      var leftdist = (window.screen.availWidth - w)/2;    // distance to left edge of window
      var topdist = (window.screen.availHeight - h)/2;     // distance to top edge of window

      page=escape(page);
      page=page.replace(/%3A/,":");
      page=page.replace(/%3F/,"?");
      page=page.replace(/%26/g,"&");
      page=page.replace(/%3D/g,"=");

/*
      if (document.all) {
        //var winwidth = window.screen.availWidth - leftdist;
        //var winheight = window.screen.availHeight - topdist;
        var winwidth = w;
        var winheight = h;
        var sizer = window.open("","","left=" + leftdist + ",top=" + topdist + ",width=1,height=1,scrollbars=yes");

        for (sizeheight = 1; sizeheight < winheight; sizeheight += heightspeed) {
          sizer.resizeTo("1", sizeheight);
        }
        for (sizewidth = 1; sizewidth < winwidth; sizewidth += widthspeed) {
          sizer.resizeTo(sizewidth, sizeheight);
        }
        //escape(page);
        sizer.location = page;
      }
      else
*/
        window.open(page,'','left='+leftdist+',top='+topdist+'toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=1,resizeable=1,width='+w+',height='+h);
    }


    function new_localized_window(page,w,h,leftdist,topdist) {
      var heightspeed = 9; // vertical scrolling speed (higher = slower)
      var widthspeed = 20;  // horizontal scrolling speed (higher = slower)
      //var leftdist = (window.screen.availWidth - w)/2;    // distance to left edge of window
      //var topdist = (window.screen.availHeight - h)/2;     // distance to top edge of window

      page=escape(page);
      page=page.replace(/%3A/,":");
      page=page.replace(/%3F/,"?");
      page=page.replace(/%26/g,"&");
      page=page.replace(/%3D/g,"=");

      window.open(page,'','left='+leftdist+',top='+topdist+'toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=1,resizeable=1,width='+w+',height='+h);
    }