function trim(str) {
	// skip leading and trailing whitespace
	// and return everything in between
	str = str.replace(/^\s*/,"");
	str = str.replace(/\s*$/,"");
	return str;
}

function submitForm() {
	document.orderForm.submit();
}

function showhide(el) {
	var elem;
	if (document.getElementById && (elem = document.getElementById(el)))
	{
		if ( elem.className ) {
			elem.className = ('hide' == elem.className) ? 'show' : 'hide';
		}
	}
}