function StartAnim() { window.setTimeout ( "StartAnim17_1825()",   500); }