// Keyboard-Navigation

/*document.onkeypress = getKey;
document.onkeydown = getKey;

function getKey(evt) {
var e = evt ? evt : window.event.keyCode;
if(!e) return;
var key = 0;
if (e.keyCode) { key = e.keyCode; } // for moz/fb, if keyCode==0 use 'which'
else if (typeof(e.which)!= 'undefined') { key = e.which; }

if (key == 37)
window.location = pages[0];

if (key == 39)
window.location = pages[1];

}

function showinfo() {
document.getElementById("info").style.visibility = "visible";
}
function hideinfo() {
document.getElementById("info").style.visibility = "hidden";
}*/