function btMouseOver( image ) {

	src = image.src.replace(/normal/,"focus");
	image.src = src;
};

function btMouseOut( image ) {

	src = image.src.replace(/focus/,"normal");
	image.src = src;
};

function winOpen( a,b,c ) {

	window.open( a,b,c );

};