var loc=top.location.toString();
if(!loc.match('http://www.lesresidencesdevirginie.fr/'))
    top.location='http://www.lesresidencesdevirginie.fr/';
else if(document.location!='http://www.lesresidencesdevirginie.fr/')
    document.write('\n            <script type="text/javascript" src="session.js"> </script>');
else
    document.write('\n            <script type="text/javascript" src="index.js"> </script>');