document.write('0801\n');