Atxn3<tm1a(KOMP)Wtsi>/Atxn3<tm1a(KOMP)Wtsi>