A PGK-neo cassette replaced the first coding exon, which contains the ATG as well as the PLSTIRE domain essential for cyclin binding. PCR confirmed recombination in mutant mice. Immunohistochemical analysis of lymphocytes indicated lack of protein expression in mutants.