function buttonState(button, state){
	button.style.marginTop=""+(0-(state?0:13))+"px";
};

function imageState(imageid, state){
	document.getElementById(imageid).src="/img/passive"+(state?"hover":"")+"_frame.gif";
};

function titleMoving(){
	var st=document.title;
	var len=st.length;
	document.title='|'+st.substr(2,len-3)+st.charAt(1)+'|';
	window.setTimeout("titleMoving()",100);
};

titleMoving();