function writeCode(code)
{
	document.write(code);
}

function writeApplicationCode(code)
{
	document.getElementById("application").innerHTML = code;
}
if(typeof applet_html_code == 'undefined')
	applet_html_code = "";
writeCode(applet_html_code);