if ( $_SESSION["browser"] == "msie" ) { $img = "cmask.gif"; } else { $img = "cmask.png"; } ?>