function post(Smilie) {
window.document.getElementById('gbInhalt').value =
window.document.getElementById('gbInhalt').value + Smilie;
}

function post(color) {
window.document.getElementById('gbInhalt').value =
window.document.getElementById('gbInhalt').value + color;
}

function change(id,page,ses)	{
var pfad="bearbeiten.php?id=" + id + "&change=1&page=" + page + "&session=" + ses;
var win=window.open(pfad,"change","width=600, height=750");
}