document.write('0830\n');