public class Pet{}  public class Cat extends Pet{}  
執(zhí)行代碼  
Cat c = new Cat（）；  
Pet p = （Pet）c；  
下列哪項(xiàng)是正確的？ 

class Foo { 
public static void main（String [] args） { 
int x = 0； 
int y = 4； 
for（int z=0； z 〈 3； z++， x++） { 
if（x 〉 1 & ++y 〈 10）
y++； 
} 
System.out.println（y）； 
} 
} 
結(jié)果是什么？（）