function addBookmark(){var A="http://www.druckertinte.de";var B="Druckertinte.de - Druckerpatronen, Tinte und Toner zu günstigen Preisen!";if(window.sidebar){window.sidebar.addPanel(B,A,"")}else{if(document.all){window.external.AddFavorite(A,B)}else{if(window.opera&&window.print){return true}}}}function selectTextarea(B){var A=document.getElementById(B).select();return A}function textCounter(C,A,B){if(C.value.length>B){C.value=C.value.substring(0,B)}else{A.value=B-C.value.length}};