// JavaScript Document

function load()
{
	RunSlideShow();
	welcome();
	isChristmas();
	TJK_ToggleDL();
  //setTimeout('RunSlideShow();',4000);
}

function mylog(txt)
{
  //document.write("pippo");
  var newdiv=document.createElement("div");
  var newtext=document.createTextNode(txt);
  newdiv.appendChild(newtext); //append text to new div
  document.getElementById("main").appendChild(newdiv);
  //document.write("pippo");
}