window.setInterval("drehender_mauszeiger()",50);