function Trim(str) {
	str = str.replace(/^ +/,"");
	str = str.replace(/^　+/,"");
	str = str.replace(/ +$/,"");
	str = str.replace(/　+$/,"");
	return(str);
}

function get_dummy_arg() {
	buff = get_nowdate_str();
	return( "proctime="+buff );	
}

function get_nowdate_str() {
//キャッシュ表示防止用引数値作成("proctime=XXXX")で生成
//日付
nowDate = new Date();
nowDay = nowDate.getDate();
nowMonth = nowDate.getMonth()+1;
nowYear = nowDate.getFullYear();

strDay = new String( nowDay );
strMonth = new String( nowMonth );
strYear = new String( nowYear );

if( strDay.length == 1 ) strDay = "0"+strDay;
if( strMonth.length == 1 ) strMonth = "0"+strMonth;

V_Date = strYear+strMonth+strDay;

//時間
nowH = nowDate.getHours();
nowM = nowDate.getMinutes();
nowS = nowDate.getSeconds();

strH = new String( nowH );
strM = new String( nowM );
strS = new String( nowS );
if( strH.length == 1 ) strH = "0"+strH;
if( strM.length == 1 ) strM = "0"+strM;
if( strS.length == 1 ) strS = "0"+strS;

V_Time = strH+strM+strS;

return( V_Date+V_Time );	
}

//★正しく色きり変えなるか不明
function choice_del_mark_color(bg) {
	var change = false;
	var length = bg.length;
	bg = bg.toLowerCase();//念の為に小文字化（＃通常style.backgoundは必ず小文字で渡るIE5.01チェック)

	if( DEL_MARK_COLOR.length == length
	&&  DEL_MARK_COLOR == bg )
		change = true;
	else if( DEL_MARK_COLOR_RGB.length == length
	     &&  DEL_MARK_COLOR_RGB == bg )
		change = true;

	if( change == false )
		return( DEL_MARK_COLOR );
	else
		return( DEL_MARK_COLOR2 );
}