function gif_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('.gif','r.gif');
} 
function gif_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('r.gif','.gif');
}



function form_index(){
	width = screen.width;
	
	if (width<1280){
/*1152*/	document.all.first.width='65%';
	}else if (width<1600){
/*1280*/	document.all.first.width='60%';
	}else{
/*>1600*/	document.all.first.width='55%';
	};
};