(animation restart upon mouse over)