if(document.location.pathname.search(/^\/cgi/)!=0)
document.write("<script src=\"/.cmsc/modules/pagemail/prototype.js\"><\/script>");