/*                  */
/* Common functions */
/*                  */

function last_modified(date) {
	var lastModString = new Date (document.lastModified);
	var tmp_year  = lastModString.getFullYear();
	var tmp_mon   = lastModString.getMonth()+1;
	var tmp_date  = lastModString.getDate();

	if ( tmp_mon  < 10 )	tmp_mon  = "0" + tmp_mon;
	if ( tmp_date < 10 )	tmp_date = "0" + tmp_date;

	var date_string="<p><b>" + tmp_year + "-" + tmp_mon + "-" + tmp_date + "</b></p>";
	return date_string;
}