<!--
/* redirect eines url mit wartezeit um x sekunden */

var time = null;
var sec = null;
var url = null;
var target = null;

function redirect() {
var time = sec * 1000;
window.setTimeout("newurl()", time);
}

function newurl() {
if (target != null) {
urltoopen = open(url, "target");
urltoopen.focus();
}
else {
document.location.href = url
}

}
-->