In edit and here went CHKP at $15.09 for a little more than a buck.
Pierre, I am still keeping ZRAN (emotional reasons? <g>), but mostly because I have raised already a lot of cash here, almost at 60% and will be by end of day. It may not be a bad idea to sell ZRAN around here...