// JavaScript Document

	function changeMargin()
			{
				
				document.getElementById("navigation").style.marginTop=window.pageYOffset * (1.4) + 'px';
				document.getElementById("navigation").style.paddingTop=0 + 'px';
				
				//alert(document.body.clientHeight);
				
			}