/* openbox.js
   Version 1.0 vom 10.10.2009 (ts)
   Javascript Hilfsfunktion zum Aus / Einklappen der Suche
   Parameter Element-ID und Größe
*/

function OpenBox(id,height) {
/* document.getElementById(id).style.height = height; */
 document.getElementsByName("tx_indexedsearch[sword]")[0].value = "";
}

function CloseBox(id,height) {
/* document.getElementById("suche").style.height = height; */
/* document.getElementsByName("tx_indexedsearch[sword]")[0].value = "Suchwort"; */
}