forward = document.getElementById("g-nav-forward_1"); window.location.href = forward.href; 
forward = document.getElementById("g-nav-forward_1"); if(forward) { window.location.href = forward.href; } 
function cursor_nav(e) {	if(document.all) {		taste = window.event.keyCode;	}	else {		taste = e.which;	}	switch (taste) {		case 37:		backward = document.getElementById("g-nav-backward_1");		window.location.href = backward.href;		break;		case 39:		forward = document.getElementById("g-nav-forward_1");		window.location.href = forward.href;		break;		default:		break;	}}
3727	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3727/d2a7c9bf3ff06c2ef5861e3ab5c18212c2190245/arrowkey_nav.js/clean/gallery/js/arrowkey_nav.js