<!--
// initiates the marks for accesskeys
function initAccesskeys () {
	//if (window.pkcs11) {
		document.onkeydown = keyDown;
		document.onkeyup = keyUp;
	//}
}

// check if alt key is pressed onkeydown
function keyDown (keyEvent) {
	if (!keyEvent) keyEvent = window.event;
	if (keyEvent.which) {
		keyCharCode = keyEvent.which;
	} else if (keyEvent.keyCode) {
		keyCharCode = keyEvent.keyCode;
	}
	if (keyCharCode == 18) changeAccessKeyStyle(true);
}

// check if alt key was pressed onkeyup
function keyUp (keyEvent) {
	if (!keyEvent) keyEvent = window.event;
	if (keyEvent.which) {
		keyCharCode = keyEvent.which;
	} else if (keyEvent.keyCode) {
		keyCharCode = keyEvent.keyCode;
	}
	if (keyCharCode == 18) changeAccessKeyStyle(false);
}

// change the style of the access keys
function changeAccessKeyStyle (state) {
	if (state) {
		var getClass = "accessKey";
		var setClass = "accessKeyActive";
	} else {
		var getClass = "accessKeyActive";
		var setClass = "accessKey";
	}
	var obj = document.getElementsByTagName("span");
	var count = obj.length;
	for (var i=0; i<count; i++) {
		if (obj[i].className == getClass) {
			obj[i].className = setClass;
		}
	}
}

// generate the print link
function makePrintLink () {
	var printLink;
	if (document.getElementById) {
		var printLink = document.getElementById("printLink");
	} else if (document.all) {
		var printLink = document.all["printLink"];
	} 
	if (typeof(printLink) == "undefined") return false;
	printLink.onclick = function() {
		window.print();
		return false;
	};
}

// do onLoad
window.onload = function() {
	makePrintLink();
	initAccesskeys();
};
//-->