document.write('0704\n');