window.onload = function() {

	if ((window.pkcs11&&window.XML) && window.name != "refresh")  {
		window.name = "refresh";
		location.reload();
	}

}

var scrollerState = 1;

function scrollspeed(speed) {
	document.getElementById('marquee').setAttribute("scrollAmount", speed);
}

function toggleScroller () {
	var marq = document.getElementById('marquee');
	if (scrollerState == 0) {
		marq.start();
		scrollerState = 1;
	} else {
		marq.stop();
		scrollerState = 0;
	}
}