function log(log_entry) {

	var log_area = document.getElementById('log');

	log_area.value = document.log_entry + ': ' + (log_entry + '\n') + log_area.value;
	document.log_entry++;

}