if (location.protocol == 'file:') {	document.links[3].href = 'index.htm'; }