function printNews (news_id) {
  var t_text = "Error: News not found...";
  if (news_id == 1) if ( (typeof(t_news1)) != "undefined") t_text = t_news1;
  if (news_id == 2) if ( (typeof(t_news2)) != "undefined") t_text = t_news2;
	document.writeln (t_text);
}