document.write('\"Argosy');