document.write('5018\n');