20131013-11

UVA 12577: nothing special