kupc2013 K validator for some kind of practice...