window.document.write('DISCO 4.0');