function keyb(event) {
        if (!document.getElementById) return;
        if (window.event) event = window.event;
        if (event.ctrlKey)  {
                var code = event.keyCode ? event.keyCode : event.which ? event.which : null;
                var id = code == 38 ? 'up' : (code == 40 ? 'dn' : '');
                if (id) {
			var link = document.getElementById(id);
			if (link && link.href) document.location = link.href;
                }
        }
}
document.onkeydown = keyb;