document.write('0602\n');