function showHomeFlash(url) {
  document.write('<object classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" codebase="http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=7,0,19,0" width="800" height="125">'+
        '<param name="movie" value="swf/berlin.swf">'+
        '<param name="quality" value="high">'+
        '<embed src="swf/berlin.swf" quality="high" pluginspage="http://www.macromedia.com/go/getflashplayer" type="application/x-shockwave-flash" width="800" height="125"></embed>'+
    '</object>');
}

function fontsize(size) {
  document.getElementById('body').style.fontSize = size+'px';
}