d = document;
w = window;
dom = (d.getElementById) ? true : false;

function kontext(x) {
elm=document.getElementById("kontext");
{
if(dom) {
elm.firstChild.data = x; }
else {}
}}