// JavaScript Document

function search()
{
    var val = document.getElementById('search').value;
    document.location = "index.php?obsah=search&value=" + val;
}
function getkey(ev) {
        /*var str='Handler for .keypress() called.Code:'+ev.KeyCode;
        alert(str);*/
        switch (ev.keyCode)
        {
          case 13: {
                     switch (ev.target.id){
                      case "search": search();break;
                     }
                   }
        }
}

function init_search() {
    //alert('aaaa');
    document.onkeyup = getkey;

}