document.write('0205\n');