<!--
var bookmarkurl="http://www.casa-pocket.com/"
var bookmarktitle="Casablanca pocket - Le Guide Officiel de la ville Rouge "

function addbookmark(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}

function MM_callJS(jsStr) { //v2.0
  return eval(jsStr)
}
//-->