codes/fetk/punc
