// JavaScript Document
var borderOverStyle="1px solid #4E74B1";
var borderOutStyle="0px solid #000000";

	function over(obj){
		obj.style.border=borderOverStyle;
	}
	
	function out(obj){
		obj.style.border=borderOutStyle;
	}
	
	function navi(to){
		if(to=='back')
			history.back();
		if(to=='next')
			history.forward();
		return false;
	}