document.write('\"MARSEC');