function setResultCount(c)
{
if ( document.getElementById("tulos") ) {
var x = document.getElementById("tulos")
if ( x ) x.innerHTML = "" + c;
}
else if ( document.all["tulos"] ) {
var x = document.all["tulos"];
if ( x ) x.innerHTML = "" + c;
}
else if ( document.layers && document.layers["tulos"] ) {
var x = document.layers["tulos"];
x.document.open();
x.document.write("<p>" + c + "</p>");
x.document.close();
}
}