function min(a, b)
{
	return (a < b) ? a : b;
}

function IntroString(str, chars)
{
	return (chars != null && chars < str.length) ? (str.substring(0, str.lastIndexOf(' ', chars)) + '...') : str;
}

function MakeDate(year, month, day)
{
	return new Date(year, month - 1, day);
}

function WriteDate(date)
{
  if (date.getDate() != 0) {document.write(date.getDate()+'/')}
  if (date.getMonth() != -1) {document.write((date.getMonth() + 1)+'/')}
  if (date.getYear() < 1900)
	document.write('19'+date.getYear());
  else
	document.write(date.getYear());
}