window.onload = start;
window.defaultStatus = "WDBOX.de";

function start()
{
	tick();
	intro();
}