function menu()
{
	document.writeln(""
	+"    "
  +"<a href='index.htm'>עמוד בית</a>&nbsp; /&nbsp; "
  +"<a href='policy.htm'>מדיניות ההשקעה</a>&nbsp; /&nbsp; "
  +"<a href='programs.htm'>תוכניות</a>&nbsp; /&nbsp; "
  +"<a href='leadership.htm'>מנהיגות החברה</a>");
}