document.write('0708\n');