//redirects old page to new page

var filename;
var delaytime;
var notification;

function move(filname) {
	window.location = filename;
}

function delay_redirect(filename, delaytime, notification) {

document.write('<div class=\"warning\">' + notification + ' </div>');
setTimeout("move(filename)", delaytime);
}