function pagetop() {
	location.href = "#pagetop";
	window.scrollBy( 0, -130 );
	}

function digi_shosai() {
	location.href = "#digi_shosai";
	window.scrollBy( 0, -130 );
	}