// JavaScript Document

<!--

function set_letter (n, d, toplevel, add_css)
{
	var t01="mai";
	var t02="lto:";
	var synced='<a href=\"'+t01+t02+n+'&#64;'+d+toplevel+'\" class=\"'+add_css+'\">'+n+'&#64;'+d+toplevel+'</a>';
	return synced;
}
function open_popup (Adresse) {
  portraits = window.open(Adresse, "Portrait", "width=425,height=685,left=50,top=50");
  portraits.focus();
}
function closeWin (){
  this.close()
}

-->