function adjustFontsize( id )
{
	var child = document.getElementById( id );
	var fonts = child.getElementsByTagName("font" );
	for( var i = 0; i < fonts.length; i ++ )
	{	
		var size = fonts[i].getAttribute("size");
		fonts[i]["style"]["fontSize"] =  size + "px";		
	}
}
function openwin( url, isOut )
{
	if( isOut )
	{
		window.open( url );
		return;
	}
	document.location = url;
}
function submitting()
{
	var ars = submitting.arguments;
	for( var i = 0; i < ars.length; i++ )
	{
		var input = document.getElementById( ars[i] );
		
		var value = input.value.replace( /^\s*/,"").replace( /\s*$/,"");
		if( value == "" ) return false;
	}
	return true;
}
function backUrl( url )
{
	if( url == "" )
	{
		history.back();
		return;
	}	
	document.location = url;
}