// === Listenkram:
var liste=new Array();     // muss global sein bei Gebrauch mit setTimeout
function in_liste(e,l)     { var i,k=-1; if (l[0]>0) for (i=1; i<=l[0]; i++) if (l[i]==e) k=i; return k; }
function add_liste(e,l)    { if (in_liste(e,l)<1) { l[0]++; l[l[0]]=e; } }
function add2liste(e,l)    { l[0]++; l[l[0]]=e; }
function sub_liste(e,l)    { var i,k=in_liste(e,l); if (k>0) { l[k]=l[l[0]]; l[0]--; } }
function init_liste(l)     { l[0]=xmax; for (var i=1; i<=xmax; i++) l[i]=i; }
function join_liste(l1,l2) { if (l1[0]>0) for (i=1; i<=l1[0]; i++) add_liste(l1[i],l2); }
// =========================================================================================================