document.write('0406\n');