document.write('7001 ');