document.write('0805\n');