document.write('0800\n');