function do_gt_check()
{
if(document.dieschnellbuchung.plz.value=="") { alert("Bitte geben Sie eine PLZ an!"); } else {chsts=1; for (i = 0; i < document.dieschnellbuchung.plz.value.length; ++i) if (document.dieschnellbuchung.plz.value.charAt(i) < "0" || document.dieschnellbuchung.plz.value.charAt(i) > "9") chsts=0;   if (chsts==0) {  alert("Bei der PLZ-Angabe sind nur Zahlen erlaubt!");     } else {document.dieschnellbuchung.submit();   }} 
}
function do_gt_check_en()
{
if(document.dieschnellbuchung.plz.value=="") { alert("Please enter your postalcode!"); } else {chsts=1; for (i = 0; i < document.dieschnellbuchung.plz.value.length; ++i) if (document.dieschnellbuchung.plz.value.charAt(i) < "0" || document.dieschnellbuchung.plz.value.charAt(i) > "9") chsts=0;   if (chsts==0) {  alert("Only use numbers for the postal code!");     } else {document.dieschnellbuchung.submit();   }} 
}