
{
	var func = window.onload;
	window.onload = function()
	{
		var date =  new Date( document.lastModified );
		var yy = date.getFullYear();
		var mm = date.getMonth() + 1;
		var dd = date.getDate();
		var hh = GetFormatNumber( date.getHours(), 2 );
		var mn = GetFormatNumber( date.getMinutes(), 2 );
		var text = document.createTextNode(
			"Last-Modified: "+ yy +'/'+ mm +'/'+ dd +' '+ hh +':'+ mn );
		document.getElementById("last-modified").appendChild( text );
		
		if( func )
			func();
	};
}

function GetFormatNumber( num, len )
{
	var str = num.toString();
	for( var i = str.length; i < len; i++ ){
		str = '0' + str;
	}
	return str;
};

