function img_over(img) {
	I = document.getElementById(img);
	I.src = I.src.replace('.gif','r.gif');
}
   
function img_out(img) {
	I = document.getElementById(img);
	I.src = I.src.replace('r.gif','.gif');
}

function submit_form (form_name){
	var forma = document.getElementById(form_name);
	if(forma){
		forma.submit();
	}
}

function OpenWin(Win,Width,Height) {
	if(Width) w = Width
	else w = 514;
	if(Height) h = Height
	else h = 400;
	window.open(Win,"Win1","menubar=0,width="+w+",height="+h+",left=200,top=40,scrollbars=1,resizable=0");
}