var address = 'rie-ino-' + 'spirit@doc' + 'omo.ne.jp';

function write_address(auto_link, is_mail) {
	if (auto_link != 0) {
		if (is_mail != 0) {
			address = "<a href=\"mailto:" + address + "\">" + address + "</a>";
		} else {
			address = "<a href=" + address + "\">" + address + "</a>";
		}
	}
	
	document.write(address);
	return;
}

function jump_menu(target, select_object, restore) {
  eval(target + ".location='" + select_object.options[select_object.selectedIndex].value + "'");
  if (restore) {
	  select_object.selectedIndex = 0;
  }
}