// Java Document
document.write(theCtrl);