/**
 * writes the contents of the source div
 * to the destination div, overwriting anything
 * that was previously in the destination.
 *
 * @param src the id of the source div
 * @param dst the id of the destination div
 * 
 * @return void
 */
function writeDiv(src, dst) 
{
  var srcDiv = document.getElementById(src);
  var dstDiv = document.getElementById(dst);

  dstDiv.innerHTML = srcDiv.innerHTML;
}


// Popup a new window with the current href + ?print=1 ap
function printVersion() {
        var qs = '?';
        if (window.location.href.indexOf('?') != -1) qs = '&';
	href = window.location.href + qs + 'print=1';
	//window.open(href, 'print');
	window.open(href,'print','scrollbars=yes,resizable=yes,width=864,height=686,right=100,top=100');
}