document.write('0607\n');