var MAINF = '
'; document.write(MAINF);