Navigateur = navigator.appName;
if ((Navigateur == 'Netscape')&&(parseInt(navigator.appVersion)<=4)) { document.write('<link rel="STYLESHEET" type="text/css" href="/inc/nn.css">'); } else { if (Navigateur == 'Microsoft Internet Explorer') { document.write('<link rel="STYLESHEET" type="text/css" href="/inc/ie.css">'); } else { document.write('<link rel="STYLESHEET" type="text/css" href="/inc/ie.css">'); }}

function openWin(theURL,winName,features){ ouvre = window.open(theURL,winName,features); ouvre.focus(); }

var bookmarkurl="http://www.lesgensdemer.fr"
var bookmarktitle="Les Gens de Mer - Hôtels - Restaurants"
function addbookmark(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)}

function is_num(str){
	if(!str) return false;
	for(var i=0; i<str.length; i++){
		var ch=str.charAt(i);
		if ("0123456789".indexOf(ch) ==-1) return false;
		}
	return true;
	}
function is_email (emailStr){ return emailCheck(emailStr) }

function emailCheck (emailStr){
var checkTLD=1;
var knownDomsPat=/^(com|net|org|edu|int|mil|gov|arpa|biz|aero|name|coop|info|pro|museum)$/;
var emailPat=/^(.+)@(.+)$/;
var specialChars="\\(\\)><@,;:\\\\\\\"\\.\\[\\]";
var validChars="\[^\\s" + specialChars + "\]";
var quotedUser="(\"[^\"]*\")";
var ipDomainPat=/^\[(\d{1,3})\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})\]$/;
var atom=validChars + '+';
var word="(" + atom + "|" + quotedUser + ")";
var userPat=new RegExp("^" + word + "(\\." + word + ")*$");
var domainPat=new RegExp("^" + atom + "(\\." + atom +")*$");
var matchArray=emailStr.match(emailPat);
if (matchArray==null) {return false;}
var user=matchArray[1];
var domain=matchArray[2];
for (i=0; i<user.length; i++){ if (user.charCodeAt(i)>127){ return false; }}
for (i=0; i<domain.length; i++){ if (domain.charCodeAt(i)>127){ return false; }}
if (user.match(userPat)==null){ return false; }
var IPArray=domain.match(ipDomainPat);
if (IPArray!=null){ for (var i=1;i<=4;i++){ if (IPArray[i]>255){ return false; }} return true; }
var atomPat=new RegExp("^" + atom + "$");
var domArr=domain.split(".");
var len=domArr.length;
for (i=0;i<len;i++){ if (domArr[i].search(atomPat)==-1){ return false; }}
if (checkTLD && domArr[domArr.length-1].length!=2 && domArr[domArr.length-1].search(knownDomsPat)==-1){ return false; }
if (len<2){ return false; }
return true;
}