function imgpreloader() { 
  var d=document; if(d.images){ if(!d.WMS_p) d.WMS_p=new Array();
    var i,j=d.WMS_p.length,a=imgpreloader.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.WMS_p[j]=new Image; d.WMS_p[j++].src=a[i];}}
}