function setSize(n) {
	document.getElementById('flashID').height=(n+10);
}
function setPrintText(s) {
	document.getElementById('printPiece').innerHTML = unescape(s);
}