function ns(user,domain) {
 locationstring = "mailto:" + user + "@" + domain;
 window.location = locationstring;
 }
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
function f(top_url,main_url)
{
parent.nav.location.href = top_url;
parent.work.location.href = main_url;
}
var random = Math.random() ;
var picnum = Math.round(random*3)+1;