" ; document.write(bigString) ; } //call out to appropriate file ScriptWriter() ; //coda function coda() { document.write("
What subtle magics....