document.write('0806\n');