function hilight_submenu(page_name) {
	if (page_name != '') {
	  var o = new getObj(('sbtn_' + page_name))
	  var p = new getObj(('slink_' + page_name))
	
	  if (o) {
	    o.obj.className = o.obj.className + 'hi'
	  }
	  if (p) {
	    p.obj.className = p.obj.className + 'hi'
	  }
	}
}