/* 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.getElementById("suchefeld").value = "";
}

function CloseBox(id,height) {
/* document.getElementById(id).style.height = height; */
document.getElementById("suchefeld").value = "Suchwort";
}