function f(node) {
   if (location.href.indexOf(node[1]) > -1) node[0] = '<b><u>' + node[0] + '</u></b>';
   return node;
}


var TREE_NODES6 = [
	f(["Job Postings",'http://' + location.host +  '/jobpostings.cfm', null]),
	];