function pointer(id) {
  document.getElementById(id).style.cursor='pointer';
}

function menuItem_active(id, elementID) {
		document.getElementById(id + '_bg').src='images/' + elementID + 'Item_over.gif';
}

function menuItem_passive(id, elementID) {
		document.getElementById(id + '_bg').src='images/' + elementID + 'Item_out.gif';
}