// JavaScript Document
// d = destination id

function display(d, s) {
	var str = document.getElementById(s).innerHTML;
	document.getElementById(d).innerHTML = str;
}