Check Point Market Cap Sinks Below $13B; Falls to Sixth in Israel