if (string[0] === "enlarge") {enlarge(string)}
if (string[0] === "reduce") {enlarge(string)}
function updateactionstring(actionarray) {
var actionstring = ""
for (var n = actionarray.length;n > 0;n = n - 1) {
actionstring = actionstring + actionarray[n]
if (n > 1) {actionstring = actionstring + ";"}}}
function action() {
var actionstring = document.getElementById("atnbg20160828su1805_actionstring").split("<a>")
for (var n = 0; n < actionstring.length; n = n + 1) {
atnbg20160828su1805(actionstring[n])}}
function addtext(string) {