function addsmile(smile)	{
document.getElementById('text_s').value = document.getElementById('text_s').value + smile;
document.getElementById('text_s').focus();
}
function pro(re)	{
document.kniha.text.value = document.kniha.text.value + re + ': ';
document.kniha.text.focus();
}