/* - - - - - - - - - - - - - - - - - - - - - - -
JavaScript
giovedì 20 aprile 2006 10.04.01
HAPedit 3.1.11.111
- - - - - - - - - - - - - - - - - - - - - - - */
function writeHomeHeader() {
var htmlsrc;
htmlsrc = ''
document.write (htmlsrc)
}
function writeStandardHeader() {
var htmlsrc;
htmlsrc = ''
document.write (htmlsrc)
}
function writeDownloadButton() {
var htmlsrc;
htmlsrc = ''
document.write (htmlsrc)
}