// JavaScript Document

<!--

mail_str = "mailto:?subject=IFS%20publication";
mail_str += "&body=I%20thought%20you%20might%20be%20interested%20in%20this%20IFS%20publication";
mail_str += ".%0D%0AYou%20can%20view%20it%20at%20" + location.href;

document.write("<a href=" + mail_str + "> E-mail to a friend </a>")



//-->