// JavaScript 1.2 Document
function mailpage()
{
subject="Check out the " + document.title;
bodystring="I found something interesting on the Hoffman Manufacturing web site: \r\n\r\n" + document.title + "\r\n" + location.href; 
mail_str = "mailto:?subject="+urlencode(subject);
mail_str += "&body="+urlencode(bodystring);
location.href = mail_str;
}//function mailpage


function urlencode (input) {
	var input, output, i, c, h, d1,d2;
	output = '';
	h = '0123456789ABCDEF';
	for (i=0; i<input.length; i++) {
		c = input.charCodeAt(i);
		if ((c>=0x61 &&  c<=0x7A) || (c>=0x41 && c<=0x5A) || (c>=0x30 && c<=0x39) || c==0x2D || c==0x2E || c==0x5F) {
			output = output + input.charAt(i);
		}//if
		else if (c<=0xFF) {
			d1=h.charAt((c-(c%0x10))/0x10);
			d2=h.charAt(c%0x10);
			output=output + '%' + d1 + d2;
		}//else
		//>0xff can't represent in URL... sorry
	}//loop
	return output;
}//function urlencode