pr27712.ll 682 Bytes