document.write('0804\n');