function kopfleiste()
{
document.writeln('<CENTER><P><FONT SIZE="6" FACE="Comic Sans MS, Arial, Helvetica"><B>B&uuml;cher-Service</B></FONT><BR><HR ALIGN="CENTER"></CENTER>');
}

function ISBNr() 
{
var ISBN = window.location.href;
ISBN = ISBN.substring(ISBN.indexOf("earthlink.de")+13,ISBN.indexOf(".htm"));
return ISBN;
}