function navigator_all( y ) {
	if( document.getElementById('navigator').style.height == '600px' ) {
		document.getElementById('navigator').style.height = '21px';
		document.getElementById('navigation').style.top = y + 'px';
		}
	else {
		document.getElementById('navigator').style.height = '600px';
		document.getElementById('navigation').style.top = '0px';
		}
//	new Effect.Parallel( [
//		new Effect.Morph( 'navigator',  { sync:true, style:'height:600px;' } ),
//		new Effect.Morph( 'navigation', { sync:true, style:'top:0px;' } )
//		], { duration:.2, transition:Effect.Transitions.linear } );
	} // end function navigator_all()