document.write('11800 ');